blob: 2b60c8c106be7eeec95298ec339bdbeab803c2c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeFamilies #-}
module GhciKinds where
import Data.Kind (Type)
type family F a :: Type
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
|
