The motivation would be for map/bind functions, bu...
# oolong
p
The motivation would be for map/bind functions, but those could likely be top-level functions as in Haskell/Elm/etc.