@hackage / reflection-without-remorse

Efficient free and operational monads.