testsuite/tests/polykinds/PolyKinds08.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE PolyKinds                  #-}

module PolyKinds08 where


data U a = U

instance Functor U where
  fmap f U = U

instance (Show a) => Show (U a) where
  show U = ""