split TyApp co and contra variant
split TyApp co and contra variant

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