haskell-src-exts-1.9.5: Test/examples/TypeFunctions.hs

{-# LANGUAGE TypeFamilies, KindSignatures #-}

data Id = Id

type family Rep (f :: * -> *) x :: *

type instance Rep Id x = x