Aiken Utility Functions with Scott Encoding
A set of utility functions that return multiple values in Scott encoding rather than tuples of 2 or higher.
Credit
Credit for the datatypes and fold functions goes to KtorZ, this is my attempt at extrapolating his approach for other utility functions.