testsuite/tests/polykinds/T13267.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses #-}
module T13267 where

type C1 a = (Show (a -> Bool))

instance C1 Int where

type C2 a = (Show Bool, Show Int)

instance C2 Int where