blob: 8e1af372eeba29236d1254120b7f1f648e9b2cb7 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeFamilies #-}
module GhciKinds where
type family F a :: *
type instance F [a] = a -> F a
type instance F Int = Bool
-- test ":kind!" in the presence of compatible overlap
type instance F (Maybe a) = Char
type instance F (Maybe Int) = Char
|