packages feed

haskell-src-exts-1.15.0.1: 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