This is a re-do of the newtype library based on the presentation in Conor McBride's excellent talk What are Types for, or are they only Against? It is entirely for my own edification, however lumbering that may be.
boarders / newtype-kit Goto Github PK
View Code? Open in Web Editor NEWMessing around with Conor McBride's newtype ideas