T9896.hs 142 Bytes
Newer Older
1
2
3
4
5
6
7
8
{-# LANGUAGE TypeFamilies #-}
module T9896 where

class Test a where
  type TestT a :: *

instance Test Bool where
  newtype TestT Bool = Int