Dissectable functors in PureScript.
Dissectable functors.
Based on work by Conor McBride and Phil Freeman.