constraints: micro-recursion-schemes -template-haskell
-- tests: true
documentation: true