algar (cargo): Algebraic structures, higher-kinded types and other category theory bad ideas
Keywords: free-monads|category-theory|monad-transformers|monad|tagless|functional-programming|monads