Example of an F-Algebra written in SML with recursive types.