Revert "Update PredType.hs"
Revert "Update PredType.hs"

This reverts commit e8e2393b23abce9d0172e4fb30a158e8b32a00c2.

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell