@alice `Base t` is a recursive type represented by a functor.
If your type is already something like `Fix ExpressionF`, then it simply unwraps the `Fix`.
But you can have `Expression a` type instead and it will project it to a `ExpressionF` (and embed back when needed).
@alice catamorphisms are folds for functor-encoded structures.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!