unOpTypes Neg e
    | isNumType (texprType e)  = return $ texprType e
unOpTypes Neg e
    | isNumType (texprType e)  = return $ texprType e
unOpTypes Neg e
    | isNumType (texprType e)  = return $ texprType e