Control.Supermonad.Functions