blob: 1212fc12dcf573a6cfdda549e31a0dff233404df (
plain)
1
2
3
4
5
6
7
|
TYPE CONSTRUCTORS
data type T{6} ::
forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> *
roles nominal nominal nominal phantom phantom phantom
Dependent modules: []
Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
integer-gmp-1.0.2.0]
|