blob: 0cda4f02ba3d5d5556ffdc37a616ae0928106b46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
:set -XTypeApplications
let { bar :: Show a => a -> b -> a; bar = error "urk" }
:type bar @Int
:set -fprint-explicit-foralls
:type bar @Int
:set -fprint-explicit-kinds -XTypeApplications -XPolyKinds
data Prox a = Prox
let { prox :: Prox a; prox = Prox }
:t prox
:t prox @Int
:t Prox
:t Prox @Int
|
