GitHub repository: sellout/compiling-anything-to-categories
Primary language: Haskell
Description: a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.