Functoria is a DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application. Homepage: https://github.com/mirage/functoria