Representational k1 * (Proxy k1) # | |
|
Representational k1 * (Coercion k1 a) # | |
|
Representational k1 * (Const k1 a) # | |
|
Representational k1 (k1 -> *) (Coercion k1) # | |
|
Representational * * [] # | |
|
Representational * * Maybe # | |
|
Representational * * IO # | |
|
Representational * * Complex # | |
|
Representational * * Dual # | |
|
Representational * * Endo # | |
|
Representational * * Sum # | |
|
Representational * * Product # | |
|
Representational * * First # | |
|
Representational * * Last # | |
|
Representational * * IntMap # | |
|
Representational * * (Either a) # | |
|
Representational * * ((,) a) # | |
|
Representational * * (ST s) # | |
|
Representational * * (Map k) # | |
|
Representational * * ((,,) a b) # | |
|
Representational * * ((->) LiftedRep LiftedRep a) # | |
|
Representational * * ((,,,) a b c) # | |
|
Representational * * ((,,,,) a b c d) # | |
|
Representational * * ((,,,,,) a b c d e) # | |
|
Representational * (* -> * -> * -> * -> * -> *) (,,,,,) # | |
|
Representational * (* -> * -> * -> * -> *) (,,,,) # | |
|
Representational * (* -> * -> * -> *) (,,,) # | |
|
Representational * (* -> * -> *) (,,) # | |
|
Representational * (* -> *) Either # | |
|
Representational * (* -> *) (,) # | |
|
Representational * (* -> * -> * -> * -> *) ((,,,,,) a) # | |
|
Representational * (* -> * -> * -> *) ((,,,,) a) # | |
|
Representational * (* -> * -> *) ((,,,) a) # | |
|
Representational * (* -> *) ((,,) a) # | |
|
Representational * (k -> *) (Const k) # | |
|
Representational * (* -> * -> * -> *) ((,,,,,) a b) # | |
|
Representational * (* -> * -> *) ((,,,,) a b) # | |
|
Representational * (* -> *) ((->) LiftedRep LiftedRep) # | |
|
Representational * (* -> *) ((,,,) a b) # | |
|
Representational * (* -> * -> *) ((,,,,,) a b c) # | |
|
Representational * (* -> *) ((,,,,) a b c) # | |
|
Representational * (* -> *) ((,,,,,) a b c d) # | |
|