Church Encodings. These are church encodings coded in typescript. Major props to https://github.com/benji6/church