Doh, what I meant to ask was: why aren't contravariant applicative functors a thing? i.e., F[A] => F[B => A] => F[B]
@tpolecat Interesting. For `type F[A] = A => String`, can you implement the above signature?
-
-
@tpolecat If not, what contrafunctors can we implement it for?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.