Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11616.hs
1 {-# LANGUAGE AllowAmbiguousTypes #-}
2 {-# LANGUAGE TypeApplications #-}
3 {-# LANGUAGE PolyKinds #-}
4 module T11616 where
5
6 class Whoami a where
7 whoami :: String
8
9 instance Whoami Int where
10 whoami = "int"
11
12 instance Whoami Bool where
13 whoami = "[y/n]"
14
15 instance Whoami Maybe where
16 whoami = "call me maybe"
17
18 whoisint :: String
19 whoisint = whoami @Int