MaybeRealFunction -> RealFunction ImagFunction