Control.Applicative.SubZero.Examples