(Difference between revisions)
(move 'almost code')
|Line 13:||Line 13:|
Almost code is code that sounds like it might be real Haskell, but isn't.
Perfunctors are like functors, but more perfunctory. We have:
perfunctory :: (Perfunctor (f :: * -> *)) => f a -> f a