Feval (hackage): evaluation using f-algebras
Keywords: language|mit|program|algebras|category-theory|evaluation|functor|haskell|interpreter