haskell-src-exts-1.15.0.1: tests/examples/TypeFunctions.hs
{-# LANGUAGE TypeFamilies, KindSignatures #-}
data Id = Id
type family Rep (f :: * -> *) x :: *
type instance Rep Id x = x
{-# LANGUAGE TypeFamilies, KindSignatures #-}
data Id = Id
type family Rep (f :: * -> *) x :: *
type instance Rep Id x = x