in #functional programming, #free, #haskell, #interpreters, #invariant functors, #functor combinators, @Haskell