[![Hackage](https://img.shields.io/hackage/v/catalyst.svg)](https://hackage.haskell.org/package/catalyst)


# catalyst

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](https://www.youtube.com/watch?v=xZmPuz9m2t0)