grr. need to propagate GHC equality constraints to fixpoint
grr. need to propagate GHC equality constraints to fixpoint

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