Functions on functions; creating functions from simpler inputs
public func compose<A, B, C>(f : B -> C, g : A -> B) : A -> C
public func identity<A>(x : A) : A
public func const<A, B>(x : A) : B -> A