leastfixedpoint

Archived tweet #9284 from the @leastfixedpoint Twitter Archive
Ugh, generative functors :-(