Archived tweet #10712 from the @leastfixedpoint Twitter Archive

@noelwelsh Might be interesting to make data (type) definitions automatically provide their natural folds, and otherwise statically forbid recursion, perhaps via absence of type-level recursion