haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/TypeFamiliesTest/TypeEqualityContextSynonyms.hs

{-# LANGUAGE TypeFamilies #-}

module TypeEqualityContextSynonyms where

import Definitions

{-@ GADTs @-}

f :: EqRel a b => a -> b  {-* TypeFamilies + GADTs, TypeFamilies + GADTs *-}
f = id                    {-* TypeFamilies + GADTs *-}

g :: TrfAB a b  {-* TypeFamilies + GADTs, TypeFamilies + GADTs *-}
g = id          {-* TypeFamilies + GADTs *-}