Almost Haskell
Almost code is code that sounds like it might be real Haskell, but isn't.
Perfunctors
Perfunctors are like functors, but more perfunctory. We have:
perfunctory :: (Perfunctor (f :: * -> *)) => f a -> f a
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