Hoogle.Operations.Convert