leastfixedpoint

Archived tweet #9201 from the @leastfixedpoint Twitter Archive
(also, just out of interest, what about pi- and sigma-types?)