willj.dev / conceptual-fp / Advanced Typeclasses

Bifunctorlink

Alternativelink

MonadPluslink

Arrowlink