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

{-# LANGUAGE TypeFamilies #-}

module TypeEqualityContext where

{-@ GADTs @-}

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