leastfixedpoint

Archived tweet #7551 from the @leastfixedpoint Twitter Archive
@coreload ST obj ~ ML fun; ST msg ~ ML value; ST protocol ~ ML sum-of-products type