literate programming https://github.com/saml/lipl/blob/master/src/TCheck.lhs