Types are great. Lifting them into some sort of applicative functor makes them even better. This post is an homage to our favorite applicatives, and to the semigroups with which they are instrinsically connected.
Lifted-but-why
LiftedButWhy
is a boring functor that just has one value and no other structure or interesting properties.
data LiftedButWhy a =
…
Keep reading with a 7-day free trial
Subscribe to Type Classes to keep reading this post and get 7 days of free access to the full post archives.