Move Maybe.gf into ../prelude