Welcome to catalyst! It's a Category typeclass hierarchy powerful enough to encode full programs.

Please refer to my conference talk: Deconstructing Lambdas: an awkward guide to programming without functions