packages feed

haskell-src-exts-1.17.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")