haskell-src-exts-1.17.0: tests/examples/TypeFunctions.hs.prettyprinter.golden
{-# LANGUAGE TypeFamilies, KindSignatures #-}
module Main (main) where
data Id = Id
type family Rep (f :: * -> *) x :: *
type instance Rep Id x = x
{-# LANGUAGE TypeFamilies, KindSignatures #-}
module Main (main) where
data Id = Id
type family Rep (f :: * -> *) x :: *
type instance Rep Id x = x