\f -> bimap f id
The spec for ap says:
b must be an Apply of any value
b be an
Apply of any type? Or must it be the same type as
SomeApplyType.prototype.ap = function(b),
bshould be an instance of
Monoid) or Category Theory (e.g.
Monad). These specifications really are abstract, defining minimal interfaces and some simple laws for how the methods of the interfaces interact. FantasyLand does not define types such as
.ofmethod we can't tell if it implements fantasy-lend's
.ofor something else, but if it has a
@@fanatsy-land/ofwe can be pretty much certain :)
thenin everyday code. Not so with the fantasy land methods.
mapfollowed by a