packages feed

haskell-src-exts-1.16.0: tests/examples/DataKinds2.hs.prettyprinter.golden

{-# LANGUAGE DataKinds #-}
module Main (main) where
 
data Foo a = Foo
 
type FooB = Foo "a"
 
type FooC = Foo 1
 
instance Show (Foo "bar")