Applicative Constructions Ostlt:c C by David A. Peterson