leastfixedpoint

Archived tweet #2155 from the @leastfixedpoint Twitter Archive
Insight: Wadler's views and the Adapter Pattern are dual! One maps data->data via decomposition; the other, codata->codata via observation