|
|
|
Description |
Collection of dynamic type casting classes and functions.
|
|
Synopsis |
|
|
|
Documentation |
|
|
An unique identifier for types.
The order given is arbitrary but stable.
| Instances | |
|
|
|
Class for all the Type, TypeX, ... types.
| | Methods | | | Instances | |
|
|
|
This is the replacement class for Data.Typeable.Typeable.
use Data.Type.deriveTyped to derive instances of this class.
| | Methods | | | Instances | Typed (TypeBBBBBBXXEXEXEXEXEXE TypeBBBBBXXEXEXEXEXE) | Typed (TypeBBBBBXXXEXEXEXEXE TypeBBBBXXXEXEXEXE) | Typed (TypeBBBBXBXXEXEXEXEXE TypeBBBXBXXEXEXEXE) | Typed (TypeBBBBBXXEXXEXEXEXE TypeBBBBXXEXXEXEXE) | Typed (TypeBBBBXXXXEXEXEXE TypeBBBXXXXEXEXE) | Typed (TypeBBBXBBXXEXEXEXEXE TypeBBXBBXXEXEXEXE) | Typed (TypeBBBXBXXXEXEXEXE TypeBBXBXXXEXEXE) | Typed (TypeBBBBBXXEXEXXEXEXE TypeBBBBXXEXEXXEXE) | Typed (TypeBBBBXXXEXXEXEXE TypeBBBXXXEXXEXE) | Typed (TypeBBBXXBXXEXEXEXE TypeBBXXBXXEXEXE) | Typed (TypeBBBXBXXEXXEXEXE TypeBBXBXXEXXEXE) | Typed (TypeBBBBXXEBXXEXEXEXE TypeBBBXXEBXXEXEXE) | Typed (TypeBBBBXXEXXXEXEXE TypeBBBXXEXXXEXE) | Typed (TypeBBBXXXXXEXEXE TypeBBXXXXXEXE) | Typed (TypeBBXBBBXXEXEXEXEXE TypeBXBBBXXEXEXEXE) | Typed (TypeBBXBBXXXEXEXEXE TypeBXBBXXXEXEXE) | Typed (TypeBBXBXBXXEXEXEXE TypeBXBXBXXEXEXE) | Typed (TypeBBXBBXXEXXEXEXE TypeBXBBXXEXXEXE) | Typed (TypeBBXBXXXXEXEXE TypeBXBXXXXEXE) | Typed (TypeBBBBBXXEXEXEXXEXE TypeBBBBXXEXEXEXXE) | Typed (TypeBBBBXXXEXEXXEXE TypeBBBXXXEXEXXE) | Typed (TypeBBBXBXXEXEXXEXE TypeBBXBXXEXEXXE) | Typed (TypeBBBBXXEXXEXXEXE TypeBBBXXEXXEXXE) | Typed (TypeBBBXXXXEXXEXE TypeBBXXXXEXXE) | Typed (TypeBBXXBBXXEXEXEXE TypeBXXBBXXEXEXE) | Typed (TypeBBXXBXXXEXEXE TypeBXXBXXXEXE) | Typed (TypeBBXBBXXEXEXXEXE TypeBXBBXXEXEXXE) | Typed (TypeBBXBXXXEXXEXE TypeBXBXXXEXXE) | Typed (TypeBBBBXXEXEBXXEXEXE TypeBBBXXEXEBXXEXE) | Typed (TypeBBBBXXEXEXXXEXE TypeBBBXXEXEXXXE) | Typed (TypeBBBXXXEBXXEXEXE TypeBBXXXEBXXEXE) | Typed (TypeBBBXXXEXXXEXE TypeBBXXXEXXXE) | Typed (TypeBBXXXBXXEXEXE TypeBXXXBXXEXE) | Typed (TypeBBXXBXXEXXEXE TypeBXXBXXEXXE) | Typed (TypeBBXBXXEBXXEXEXE TypeBXBXXEBXXEXE) | Typed (TypeBBXBXXEXXXEXE TypeBXBXXEXXXE) | Typed (TypeBBBXXEBBXXEXEXEXE TypeBBXXEBBXXEXEXE) | Typed (TypeBBBXXEBXXXEXEXE TypeBBXXEBXXXEXE) | Typed (TypeBBBXXEXBXXEXEXE TypeBBXXEXBXXEXE) | Typed (TypeBBBXXEBXXEXXEXE TypeBBXXEBXXEXXE) | Typed (TypeBBBXXEXXXXEXE TypeBBXXEXXXXE) | Typed (TypeBBXXXXXXEXE TypeBXXXXXXE) | Typed (TypeBXBBBBXXEXEXEXEXE TypeXBBBBXXEXEXEXE) | Typed (TypeBXBBBXXXEXEXEXE TypeXBBBXXXEXEXE) | Typed (TypeBXBBXBXXEXEXEXE TypeXBBXBXXEXEXE) | Typed (TypeBXBBBXXEXXEXEXE TypeXBBBXXEXXEXE) | Typed (TypeBXBBXXXXEXEXE TypeXBBXXXXEXE) | Typed (TypeBXBXBBXXEXEXEXE TypeXBXBBXXEXEXE) | Typed (TypeBXBXBXXXEXEXE TypeXBXBXXXEXE) | Typed (TypeBXBBBXXEXEXXEXE TypeXBBBXXEXEXXE) | Typed (TypeBXBBXXXEXXEXE TypeXBBXXXEXXE) | Typed (TypeBXBXXBXXEXEXE TypeXBXXBXXEXE) | Typed (TypeBXBXBXXEXXEXE TypeXBXBXXEXXE) | Typed (TypeBXBBXXEBXXEXEXE TypeXBBXXEBXXEXE) | Typed (TypeBXBBXXEXXXEXE TypeXBBXXEXXXE) | Typed (TypeBXBXXXXXEXE TypeXBXXXXXE) | Typed (TypeBBBBBXXEXEXEXEXXE TypeBBBBXXEXEXEXEX) | Typed (TypeBBBBXXXEXEXEXXE TypeBBBXXXEXEXEX) | Typed (TypeBBBXBXXEXEXEXXE TypeBBXBXXEXEXEX) | Typed (TypeBBBBXXEXXEXEXXE TypeBBBXXEXXEXEX) | Typed (TypeBBBXXXXEXEXXE TypeBBXXXXEXEX) | Typed (TypeBBXBBXXEXEXEXXE TypeBXBBXXEXEXEX) | Typed (TypeBBXBXXXEXEXXE TypeBXBXXXEXEX) | Typed (TypeBBBBXXEXEXXEXXE TypeBBBXXEXEXXEX) | Typed (TypeBBBXXXEXXEXXE TypeBBXXXEXXEX) | Typed (TypeBBXXBXXEXEXXE TypeBXXBXXEXEX) | Typed (TypeBBXBXXEXXEXXE TypeBXBXXEXXEX) | Typed (TypeBBBXXEBXXEXEXXE TypeBBXXEBXXEXEX) | Typed (TypeBBBXXEXXXEXXE TypeBBXXEXXXEX) | Typed (TypeBBXXXXXEXXE TypeBXXXXXEX) | Typed (TypeBXXBBBXXEXEXEXE TypeXXBBBXXEXEXE) | Typed (TypeBXXBBXXXEXEXE TypeXXBBXXXEXE) | Typed (TypeBXXBXBXXEXEXE TypeXXBXBXXEXE) | Typed (TypeBXXBBXXEXXEXE TypeXXBBXXEXXE) | Typed (TypeBXXBXXXXEXE TypeXXBXXXXE) | Typed (TypeBXBBBXXEXEXEXXE TypeXBBBXXEXEXEX) | Typed (TypeBXBBXXXEXEXXE TypeXBBXXXEXEX) | Typed (TypeBXBXBXXEXEXXE TypeXBXBXXEXEX) | Typed (TypeBXBBXXEXXEXXE TypeXBBXXEXXEX) | Typed (TypeBXBXXXXEXXE TypeXBXXXXEX) | Typed (TypeBBBBXXEXEXEBXXEXE TypeBBBXXEXEXEBXXE) | Typed (TypeBBBBXXEXEXEXXXE TypeBBBXXEXEXEXX) | Typed (TypeBBBXXXEXEBXXEXE TypeBBXXXEXEBXXE) | Typed (TypeBBBXXXEXEXXXE TypeBBXXXEXEXX) | Typed (TypeBBXBXXEXEBXXEXE TypeBXBXXEXEBXXE) | Typed (TypeBBXBXXEXEXXXE TypeBXBXXEXEXX) | Typed (TypeBBBXXEXXEBXXEXE TypeBBXXEXXEBXXE) | Typed (TypeBBBXXEXXEXXXE TypeBBXXEXXEXX) | Typed (TypeBBXXXXEBXXEXE TypeBXXXXEBXXE) | Typed (TypeBBXXXXEXXXE TypeBXXXXEXX) | Typed (TypeBXXXBBXXEXEXE TypeXXXBBXXEXE) | Typed (TypeBXXXBXXXEXE TypeXXXBXXXE) | Typed (TypeBXXBBXXEXEXXE TypeXXBBXXEXEX) | Typed (TypeBXXBXXXEXXE TypeXXBXXXEX) | Typed (TypeBXBBXXEXEBXXEXE TypeXBBXXEXEBXXE) | Typed (TypeBXBBXXEXEXXXE TypeXBBXXEXEXX) | Typed (TypeBXBXXXEBXXEXE TypeXBXXXEBXXE) | Typed (TypeBXBXXXEXXXE TypeXBXXXEXX) | Typed (TypeBBBXXEXEBBXXEXEXE TypeBBXXEXEBBXXEXE) | Typed (TypeBBBXXEXEBXXXEXE TypeBBXXEXEBXXXE) | Typed (TypeBBBXXEXEXBXXEXE TypeBBXXEXEXBXXE) | Typed (TypeBBBXXEXEBXXEXXE TypeBBXXEXEBXXEX) | Typed (TypeBBBXXEXEXXXXE TypeBBXXEXEXXX) | Typed (TypeBBXXXEBBXXEXEXE TypeBXXXEBBXXEXE) | Typed (TypeBBXXXEBXXXEXE TypeBXXXEBXXXE) | Typed (TypeBBXXXEXBXXEXE TypeBXXXEXBXXE) | Typed (TypeBBXXXEBXXEXXE TypeBXXXEBXXEX) | Typed (TypeBBXXXEXXXXE TypeBXXXEXXX) | Typed (TypeBXXXXBXXEXE TypeXXXXBXXE) | Typed (TypeBXXXBXXEXXE TypeXXXBXXEX) | Typed (TypeBXXBXXEBXXEXE TypeXXBXXEBXXE) | Typed (TypeBXXBXXEXXXE TypeXXBXXEXX) | Typed (TypeBXBXXEBBXXEXEXE TypeXBXXEBBXXEXE) | Typed (TypeBXBXXEBXXXEXE TypeXBXXEBXXXE) | Typed (TypeBXBXXEXBXXEXE TypeXBXXEXBXXE) | Typed (TypeBXBXXEBXXEXXE TypeXBXXEBXXEX) | Typed (TypeBXBXXEXXXXE TypeXBXXEXXX) | Typed (TypeBBXXEBBBXXEXEXEXE TypeBXXEBBBXXEXEXE) | Typed (TypeBBXXEBBXXXEXEXE TypeBXXEBBXXXEXE) | Typed (TypeBBXXEBXBXXEXEXE TypeBXXEBXBXXEXE) | Typed (TypeBBXXEBBXXEXXEXE TypeBXXEBBXXEXXE) | Typed (TypeBBXXEBXXXXEXE TypeBXXEBXXXXE) | Typed (TypeBBXXEXBBXXEXEXE TypeBXXEXBBXXEXE) | Typed (TypeBBXXEXBXXXEXE TypeBXXEXBXXXE) | Typed (TypeBBXXEBBXXEXEXXE TypeBXXEBBXXEXEX) | Typed (TypeBBXXEBXXXEXXE TypeBXXEBXXXEX) | Typed (TypeBBXXEXXBXXEXE TypeBXXEXXBXXE) | Typed (TypeBBXXEXBXXEXXE TypeBXXEXBXXEX) | Typed (TypeBBXXEBXXEBXXEXE TypeBXXEBXXEBXXE) | Typed (TypeBBXXEBXXEXXXE TypeBXXEBXXEXX) | Typed (TypeBBXXEXXXXXE TypeBXXEXXXX) | Typed (TypeBXXXXXXXE TypeXXXXXX) | Typed (TypeXXXXXXX (,,,,,,)) | (Typed (TypeXBBBBBXXEXEXEXEXE f), Typed (Type p)) => Typed (TypeBBBBBXXEXEXEXEXE (f p)) | Typed (TypeBBBBBXXEXEXEXEXE TypeBBBBXXEXEXEXE) | (Typed (TypeXBBBBXXXEXEXEXE f), Typed (Type p)) => Typed (TypeBBBBXXXEXEXEXE (f p)) | Typed (TypeBBBBXXXEXEXEXE TypeBBBXXXEXEXE) | (Typed (TypeXBBBXBXXEXEXEXE f), Typed (Type p)) => Typed (TypeBBBXBXXEXEXEXE (f p)) | Typed (TypeBBBXBXXEXEXEXE TypeBBXBXXEXEXE) | (Typed (TypeXBBBBXXEXXEXEXE f), Typed (Type p)) => Typed (TypeBBBBXXEXXEXEXE (f p)) | Typed (TypeBBBBXXEXXEXEXE TypeBBBXXEXXEXE) | (Typed (TypeXBBBXXXXEXEXE f), Typed (Type p)) => Typed (TypeBBBXXXXEXEXE (f p)) | Typed (TypeBBBXXXXEXEXE TypeBBXXXXEXE) | (Typed (TypeXBBXBBXXEXEXEXE f), Typed (Type p)) => Typed (TypeBBXBBXXEXEXEXE (f p)) | Typed (TypeBBXBBXXEXEXEXE TypeBXBBXXEXEXE) | (Typed (TypeXBBXBXXXEXEXE f), Typed (Type p)) => Typed (TypeBBXBXXXEXEXE (f p)) | Typed (TypeBBXBXXXEXEXE TypeBXBXXXEXE) | (Typed (TypeXBBBBXXEXEXXEXE f), Typed (Type p)) => Typed (TypeBBBBXXEXEXXEXE (f p)) | Typed (TypeBBBBXXEXEXXEXE TypeBBBXXEXEXXE) | (Typed (TypeXBBBXXXEXXEXE f), Typed (Type p)) => Typed (TypeBBBXXXEXXEXE (f p)) | Typed (TypeBBBXXXEXXEXE TypeBBXXXEXXE) | (Typed (TypeXBBXXBXXEXEXE f), Typed (Type p)) => Typed (TypeBBXXBXXEXEXE (f p)) | Typed (TypeBBXXBXXEXEXE TypeBXXBXXEXE) | (Typed (TypeXBBXBXXEXXEXE f), Typed (Type p)) => Typed (TypeBBXBXXEXXEXE (f p)) | Typed (TypeBBXBXXEXXEXE TypeBXBXXEXXE) | (Typed (TypeXBBBXXEBXXEXEXE f), Typed (Type p)) => Typed (TypeBBBXXEBXXEXEXE (f p)) | Typed (TypeBBBXXEBXXEXEXE TypeBBXXEBXXEXE) | (Typed (TypeXBBBXXEXXXEXE f), Typed (Type p)) => Typed (TypeBBBXXEXXXEXE (f p)) | Typed (TypeBBBXXEXXXEXE TypeBBXXEXXXE) | (Typed (TypeXBBXXXXXEXE f), Typed (Type p)) => Typed (TypeBBXXXXXEXE (f p)) | Typed (TypeBBXXXXXEXE TypeBXXXXXE) | (Typed (TypeXBXBBBXXEXEXEXE f), Typed (Type p)) => Typed (TypeBXBBBXXEXEXEXE (f p)) | Typed (TypeBXBBBXXEXEXEXE TypeXBBBXXEXEXE) | (Typed (TypeXBXBBXXXEXEXE f), Typed (Type p)) => Typed (TypeBXBBXXXEXEXE (f p)) | Typed (TypeBXBBXXXEXEXE TypeXBBXXXEXE) | (Typed (TypeXBXBXBXXEXEXE f), Typed (Type p)) => Typed (TypeBXBXBXXEXEXE (f p)) | Typed (TypeBXBXBXXEXEXE TypeXBXBXXEXE) | (Typed (TypeXBXBBXXEXXEXE f), Typed (Type p)) => Typed (TypeBXBBXXEXXEXE (f p)) | Typed (TypeBXBBXXEXXEXE TypeXBBXXEXXE) | (Typed (TypeXBXBXXXXEXE f), Typed (Type p)) => Typed (TypeBXBXXXXEXE (f p)) | Typed (TypeBXBXXXXEXE TypeXBXXXXE) | (Typed (TypeXBBBBXXEXEXEXXE f), Typed (Type p)) => Typed (TypeBBBBXXEXEXEXXE (f p)) | Typed (TypeBBBBXXEXEXEXXE TypeBBBXXEXEXEX) | (Typed (TypeXBBBXXXEXEXXE f), Typed (Type p)) => Typed (TypeBBBXXXEXEXXE (f p)) | Typed (TypeBBBXXXEXEXXE TypeBBXXXEXEX) | (Typed (TypeXBBXBXXEXEXXE f), Typed (Type p)) => Typed (TypeBBXBXXEXEXXE (f p)) | Typed (TypeBBXBXXEXEXXE TypeBXBXXEXEX) | (Typed (TypeXBBBXXEXXEXXE f), Typed (Type p)) => Typed (TypeBBBXXEXXEXXE (f p)) | Typed (TypeBBBXXEXXEXXE TypeBBXXEXXEX) | (Typed (TypeXBBXXXXEXXE f), Typed (Type p)) => Typed (TypeBBXXXXEXXE (f p)) | Typed (TypeBBXXXXEXXE TypeBXXXXEX) | (Typed (TypeXBXXBBXXEXEXE f), Typed (Type p)) => Typed (TypeBXXBBXXEXEXE (f p)) | Typed (TypeBXXBBXXEXEXE TypeXXBBXXEXE) | (Typed (TypeXBXXBXXXEXE f), Typed (Type p)) => Typed (TypeBXXBXXXEXE (f p)) | Typed (TypeBXXBXXXEXE TypeXXBXXXE) | (Typed (TypeXBXBBXXEXEXXE f), Typed (Type p)) => Typed (TypeBXBBXXEXEXXE (f p)) | Typed (TypeBXBBXXEXEXXE TypeXBBXXEXEX) | (Typed (TypeXBXBXXXEXXE f), Typed (Type p)) => Typed (TypeBXBXXXEXXE (f p)) | Typed (TypeBXBXXXEXXE TypeXBXXXEX) | (Typed (TypeXBBBXXEXEBXXEXE f), Typed (Type p)) => Typed (TypeBBBXXEXEBXXEXE (f p)) | Typed (TypeBBBXXEXEBXXEXE TypeBBXXEXEBXXE) | (Typed (TypeXBBBXXEXEXXXE f), Typed (Type p)) => Typed (TypeBBBXXEXEXXXE (f p)) | Typed (TypeBBBXXEXEXXXE TypeBBXXEXEXX) | (Typed (TypeXBBXXXEBXXEXE f), Typed (Type p)) => Typed (TypeBBXXXEBXXEXE (f p)) | Typed (TypeBBXXXEBXXEXE TypeBXXXEBXXE) | (Typed (TypeXBBXXXEXXXE f), Typed (Type p)) => Typed (TypeBBXXXEXXXE (f p)) | Typed (TypeBBXXXEXXXE TypeBXXXEXX) | (Typed (TypeXBXXXBXXEXE f), Typed (Type p)) => Typed (TypeBXXXBXXEXE (f p)) | Typed (TypeBXXXBXXEXE TypeXXXBXXE) | (Typed (TypeXBXXBXXEXXE f), Typed (Type p)) => Typed (TypeBXXBXXEXXE (f p)) | Typed (TypeBXXBXXEXXE TypeXXBXXEX) | (Typed (TypeXBXBXXEBXXEXE f), Typed (Type p)) => Typed (TypeBXBXXEBXXEXE (f p)) | Typed (TypeBXBXXEBXXEXE TypeXBXXEBXXE) | (Typed (TypeXBXBXXEXXXE f), Typed (Type p)) => Typed (TypeBXBXXEXXXE (f p)) | Typed (TypeBXBXXEXXXE TypeXBXXEXX) | (Typed (TypeXBBXXEBBXXEXEXE f), Typed (Type p)) => Typed (TypeBBXXEBBXXEXEXE (f p)) | Typed (TypeBBXXEBBXXEXEXE TypeBXXEBBXXEXE) | (Typed (TypeXBBXXEBXXXEXE f), Typed (Type p)) => Typed (TypeBBXXEBXXXEXE (f p)) | Typed (TypeBBXXEBXXXEXE TypeBXXEBXXXE) | (Typed (TypeXBBXXEXBXXEXE f), Typed (Type p)) => Typed (TypeBBXXEXBXXEXE (f p)) | Typed (TypeBBXXEXBXXEXE TypeBXXEXBXXE) | (Typed (TypeXBBXXEBXXEXXE f), Typed (Type p)) => Typed (TypeBBXXEBXXEXXE (f p)) | Typed (TypeBBXXEBXXEXXE TypeBXXEBXXEX) | (Typed (TypeXBBXXEXXXXE f), Typed (Type p)) => Typed (TypeBBXXEXXXXE (f p)) | Typed (TypeBBXXEXXXXE TypeBXXEXXX) | (Typed (TypeXBXXXXXXE f), Typed (Type p)) => Typed (TypeBXXXXXXE (f p)) | Typed (TypeBXXXXXXE TypeXXXXX) | (Typed (TypeXXBBBBXXEXEXEXE f), Typed (Type p)) => Typed (TypeXBBBBXXEXEXEXE (f p)) | (Typed (TypeXXBBBXXXEXEXE f), Typed (Type p)) => Typed (TypeXBBBXXXEXEXE (f p)) | (Typed (TypeXXBBXBXXEXEXE f), Typed (Type p)) => Typed (TypeXBBXBXXEXEXE (f p)) | (Typed (TypeXXBBBXXEXXEXE f), Typed (Type p)) => Typed (TypeXBBBXXEXXEXE (f p)) | (Typed (TypeXXBBXXXXEXE f), Typed (Type p)) => Typed (TypeXBBXXXXEXE (f p)) | (Typed (TypeXXBXBBXXEXEXE f), Typed (Type p)) => Typed (TypeXBXBBXXEXEXE (f p)) | (Typed (TypeXXBXBXXXEXE f), Typed (Type p)) => Typed (TypeXBXBXXXEXE (f p)) | (Typed (TypeXXBBBXXEXEXXE f), Typed (Type p)) => Typed (TypeXBBBXXEXEXXE (f p)) | (Typed (TypeXXBBXXXEXXE f), Typed (Type p)) => Typed (TypeXBBXXXEXXE (f p)) | (Typed (TypeXXBXXBXXEXE f), Typed (Type p)) => Typed (TypeXBXXBXXEXE (f p)) | (Typed (TypeXXBXBXXEXXE f), Typed (Type p)) => Typed (TypeXBXBXXEXXE (f p)) | (Typed (TypeXXBBXXEBXXEXE f), Typed (Type p)) => Typed (TypeXBBXXEBXXEXE (f p)) | (Typed (TypeXXBBXXEXXXE f), Typed (Type p)) => Typed (TypeXBBXXEXXXE (f p)) | (Typed (TypeXXBXXXXXE f), Typed (Type p)) => Typed (TypeXBXXXXXE (f p)) | (Typed (TypeXBBBBXXEXEXEXEX f), Typed (Type p)) => Typed (TypeBBBBXXEXEXEXEX (f p)) | (Typed (TypeXBBBXXXEXEXEX f), Typed (Type p)) => Typed (TypeBBBXXXEXEXEX (f p)) | (Typed (TypeXBBXBXXEXEXEX f), Typed (Type p)) => Typed (TypeBBXBXXEXEXEX (f p)) | (Typed (TypeXBBBXXEXXEXEX f), Typed (Type p)) => Typed (TypeBBBXXEXXEXEX (f p)) | (Typed (TypeXBBXXXXEXEX f), Typed (Type p)) => Typed (TypeBBXXXXEXEX (f p)) | (Typed (TypeXBXBBXXEXEXEX f), Typed (Type p)) => Typed (TypeBXBBXXEXEXEX (f p)) | (Typed (TypeXBXBXXXEXEX f), Typed (Type p)) => Typed (TypeBXBXXXEXEX (f p)) | (Typed (TypeXBBBXXEXEXXEX f), Typed (Type p)) => Typed (TypeBBBXXEXEXXEX (f p)) | (Typed (TypeXBBXXXEXXEX f), Typed (Type p)) => Typed (TypeBBXXXEXXEX (f p)) | (Typed (TypeXBXXBXXEXEX f), Typed (Type p)) => Typed (TypeBXXBXXEXEX (f p)) | (Typed (TypeXBXBXXEXXEX f), Typed (Type p)) => Typed (TypeBXBXXEXXEX (f p)) | (Typed (TypeXBBXXEBXXEXEX f), Typed (Type p)) => Typed (TypeBBXXEBXXEXEX (f p)) | (Typed (TypeXBBXXEXXXEX f), Typed (Type p)) => Typed (TypeBBXXEXXXEX (f p)) | (Typed (TypeXBXXXXXEX f), Typed (Type p)) => Typed (TypeBXXXXXEX (f p)) | (Typed (TypeXXXBBBXXEXEXE f), Typed (Type p)) => Typed (TypeXXBBBXXEXEXE (f p)) | (Typed (TypeXXXBBXXXEXE f), Typed (Type p)) => Typed (TypeXXBBXXXEXE (f p)) | (Typed (TypeXXXBXBXXEXE f), Typed (Type p)) => Typed (TypeXXBXBXXEXE (f p)) | (Typed (TypeXXXBBXXEXXE f), Typed (Type p)) => Typed (TypeXXBBXXEXXE (f p)) | (Typed (TypeXXXBXXXXE f), Typed (Type p)) => Typed (TypeXXBXXXXE (f p)) | (Typed (TypeXXBBBXXEXEXEX f), Typed (Type p)) => Typed (TypeXBBBXXEXEXEX (f p)) | (Typed (TypeXXBBXXXEXEX f), Typed (Type p)) => Typed (TypeXBBXXXEXEX (f p)) | (Typed (TypeXXBXBXXEXEX f), Typed (Type p)) => Typed (TypeXBXBXXEXEX (f p)) | (Typed (TypeXXBBXXEXXEX f), Typed (Type p)) => Typed (TypeXBBXXEXXEX (f p)) | (Typed (TypeXXBXXXXEX f), Typed (Type p)) => Typed (TypeXBXXXXEX (f p)) | (Typed (TypeXBBBXXEXEXEBXXE f), Typed (Type p)) => Typed (TypeBBBXXEXEXEBXXE (f p)) | (Typed (TypeXBBBXXEXEXEXX f), Typed (Type p)) => Typed (TypeBBBXXEXEXEXX (f p)) | (Typed (TypeXBBXXXEXEBXXE f), Typed (Type p)) => Typed (TypeBBXXXEXEBXXE (f p)) | (Typed (TypeXBBXXXEXEXX f), Typed (Type p)) => Typed (TypeBBXXXEXEXX (f p)) | (Typed (TypeXBXBXXEXEBXXE f), Typed (Type p)) => Typed (TypeBXBXXEXEBXXE (f p)) | (Typed (TypeXBXBXXEXEXX f), Typed (Type p)) => Typed (TypeBXBXXEXEXX (f p)) | (Typed (TypeXBBXXEXXEBXXE f), Typed (Type p)) => Typed (TypeBBXXEXXEBXXE (f p)) | (Typed (TypeXBBXXEXXEXX f), Typed (Type p)) => Typed (TypeBBXXEXXEXX (f p)) | (Typed (TypeXBXXXXEBXXE f), Typed (Type p)) => Typed (TypeBXXXXEBXXE (f p)) | (Typed (TypeXBXXXXEXX f), Typed (Type p)) => Typed (TypeBXXXXEXX (f p)) | (Typed (TypeXXXXBBXXEXE f), Typed (Type p)) => Typed (TypeXXXBBXXEXE (f p)) | (Typed (TypeXXXXBXXXE f), Typed (Type p)) => Typed (TypeXXXBXXXE (f p)) | (Typed (TypeXXXBBXXEXEX f), Typed (Type p)) => Typed (TypeXXBBXXEXEX (f p)) | (Typed (TypeXXXBXXXEX f), Typed (Type p)) => Typed (TypeXXBXXXEX (f p)) | (Typed (TypeXXBBXXEXEBXXE f), Typed (Type p)) => Typed (TypeXBBXXEXEBXXE (f p)) | (Typed (TypeXXBBXXEXEXX f), Typed (Type p)) => Typed (TypeXBBXXEXEXX (f p)) | (Typed (TypeXXBXXXEBXXE f), Typed (Type p)) => Typed (TypeXBXXXEBXXE (f p)) | (Typed (TypeXXBXXXEXX f), Typed (Type p)) => Typed (TypeXBXXXEXX (f p)) | (Typed (TypeXBBXXEXEBBXXEXE f), Typed (Type p)) => Typed (TypeBBXXEXEBBXXEXE (f p)) | (Typed (TypeXBBXXEXEBXXXE f), Typed (Type p)) => Typed (TypeBBXXEXEBXXXE (f p)) | (Typed (TypeXBBXXEXEXBXXE f), Typed (Type p)) => Typed (TypeBBXXEXEXBXXE (f p)) | (Typed (TypeXBBXXEXEBXXEX f), Typed (Type p)) => Typed (TypeBBXXEXEBXXEX (f p)) | (Typed (TypeXBBXXEXEXXX f), Typed (Type p)) => Typed (TypeBBXXEXEXXX (f p)) | (Typed (TypeXBXXXEBBXXEXE f), Typed (Type p)) => Typed (TypeBXXXEBBXXEXE (f p)) | (Typed (TypeXBXXXEBXXXE f), Typed (Type p)) => Typed (TypeBXXXEBXXXE (f p)) | (Typed (TypeXBXXXEXBXXE f), Typed (Type p)) => Typed (TypeBXXXEXBXXE (f p)) | (Typed (TypeXBXXXEBXXEX f), Typed (Type p)) => Typed (TypeBXXXEBXXEX (f p)) | (Typed (TypeXBXXXEXXX f), Typed (Type p)) => Typed (TypeBXXXEXXX (f p)) | (Typed (TypeXXXXXBXXE f), Typed (Type p)) => Typed (TypeXXXXBXXE (f p)) | (Typed (TypeXXXXBXXEX f), Typed (Type p)) => Typed (TypeXXXBXXEX (f p)) | (Typed (TypeXXXBXXEBXXE f), Typed (Type p)) => Typed (TypeXXBXXEBXXE (f p)) | (Typed (TypeXXXBXXEXX f), Typed (Type p)) => Typed (TypeXXBXXEXX (f p)) | (Typed (TypeXXBXXEBBXXEXE f), Typed (Type p)) => Typed (TypeXBXXEBBXXEXE (f p)) | (Typed (TypeXXBXXEBXXXE f), Typed (Type p)) => Typed (TypeXBXXEBXXXE (f p)) | (Typed (TypeXXBXXEXBXXE f), Typed (Type p)) => Typed (TypeXBXXEXBXXE (f p)) | (Typed (TypeXXBXXEBXXEX f), Typed (Type p)) => Typed (TypeXBXXEBXXEX (f p)) | (Typed (TypeXXBXXEXXX f), Typed (Type p)) => Typed (TypeXBXXEXXX (f p)) | (Typed (TypeXBXXEBBBXXEXEXE f), Typed (Type p)) => Typed (TypeBXXEBBBXXEXEXE (f p)) | (Typed (TypeXBXXEBBXXXEXE f), Typed (Type p)) => Typed (TypeBXXEBBXXXEXE (f p)) | (Typed (TypeXBXXEBXBXXEXE f), Typed (Type p)) => Typed (TypeBXXEBXBXXEXE (f p)) | (Typed (TypeXBXXEBBXXEXXE f), Typed (Type p)) => Typed (TypeBXXEBBXXEXXE (f p)) | (Typed (TypeXBXXEBXXXXE f), Typed (Type p)) => Typed (TypeBXXEBXXXXE (f p)) | (Typed (TypeXBXXEXBBXXEXE f), Typed (Type p)) => Typed (TypeBXXEXBBXXEXE (f p)) | (Typed (TypeXBXXEXBXXXE f), Typed (Type p)) => Typed (TypeBXXEXBXXXE (f p)) | (Typed (TypeXBXXEBBXXEXEX f), Typed (Type p)) => Typed (TypeBXXEBBXXEXEX (f p)) | (Typed (TypeXBXXEBXXXEX f), Typed (Type p)) => Typed (TypeBXXEBXXXEX (f p)) | (Typed (TypeXBXXEXXBXXE f), Typed (Type p)) => Typed (TypeBXXEXXBXXE (f p)) | (Typed (TypeXBXXEXBXXEX f), Typed (Type p)) => Typed (TypeBXXEXBXXEX (f p)) | (Typed (TypeXBXXEBXXEBXXE f), Typed (Type p)) => Typed (TypeBXXEBXXEBXXE (f p)) | (Typed (TypeXBXXEBXXEXX f), Typed (Type p)) => Typed (TypeBXXEBXXEXX (f p)) | (Typed (TypeXBXXEXXXX f), Typed (Type p)) => Typed (TypeBXXEXXXX (f p)) | Typed (TypeXXXXXX (,,,,,)) | (Typed (TypeXXXXXXX f), Typed (Type p)) => Typed (TypeXXXXXX (f p)) | (Typed (TypeBXXEBBBBXXEXEXEXE f), Typed (TypeX p)) => Typed (TypeBBBBXXEXEXEXE (f p)) | (Typed (TypeXBBBBXXEXEXEXE f), Typed (Type p)) => Typed (TypeBBBBXXEXEXEXE (f p)) | Typed (TypeBBBBXXEXEXEXE TypeBBBXXEXEXE) | (Typed (TypeBXXEBBBXXXEXEXE f), Typed (TypeX p)) => Typed (TypeBBBXXXEXEXE (f p)) | (Typed (TypeXBBBXXXEXEXE f), Typed (Type p)) => Typed (TypeBBBXXXEXEXE (f p)) | Typed (TypeBBBXXXEXEXE TypeBBXXXEXE) | (Typed (TypeBXXEBBXBXXEXEXE f), Typed (TypeX p)) => Typed (TypeBBXBXXEXEXE (f p)) | (Typed (TypeXBBXBXXEXEXE f), Typed (Type p)) => Typed (TypeBBXBXXEXEXE (f p)) | Typed (TypeBBXBXXEXEXE TypeBXBXXEXE) | (Typed (TypeBXXEBBBXXEXXEXE f), Typed (TypeX p)) => Typed (TypeBBBXXEXXEXE (f p)) | (Typed (TypeXBBBXXEXXEXE f), Typed (Type p)) => Typed (TypeBBBXXEXXEXE (f p)) | Typed (TypeBBBXXEXXEXE TypeBBXXEXXE) | (Typed (TypeBXXEBBXXXXEXE f), Typed (TypeX p)) => Typed (TypeBBXXXXEXE (f p)) | (Typed (TypeXBBXXXXEXE f), Typed (Type p)) => Typed (TypeBBXXXXEXE (f p)) | Typed (TypeBBXXXXEXE TypeBXXXXE) | (Typed (TypeBXXEBXBBXXEXEXE f), Typed (TypeX p)) => Typed (TypeBXBBXXEXEXE (f p)) | (Typed (TypeXBXBBXXEXEXE f), Typed (Type p)) => Typed (TypeBXBBXXEXEXE (f p)) | Typed (TypeBXBBXXEXEXE TypeXBBXXEXE) | (Typed (TypeBXXEBXBXXXEXE f), Typed (TypeX p)) => Typed (TypeBXBXXXEXE (f p)) | (Typed (TypeXBXBXXXEXE f), Typed (Type p)) => Typed (TypeBXBXXXEXE (f p)) | Typed (TypeBXBXXXEXE TypeXBXXXE) | (Typed (TypeBXXEBBBXXEXEXXE f), Typed (TypeX p)) => Typed (TypeBBBXXEXEXXE (f p)) | (Typed (TypeXBBBXXEXEXXE f), Typed (Type p)) => Typed (TypeBBBXXEXEXXE (f p)) | Typed (TypeBBBXXEXEXXE TypeBBXXEXEX) | (Typed (TypeBXXEBBXXXEXXE f), Typed (TypeX p)) => Typed (TypeBBXXXEXXE (f p)) | (Typed (TypeXBBXXXEXXE f), Typed (Type p)) => Typed (TypeBBXXXEXXE (f p)) | Typed (TypeBBXXXEXXE TypeBXXXEX) | (Typed (TypeBXXEBXXBXXEXE f), Typed (TypeX p)) => Typed (TypeBXXBXXEXE (f p)) | (Typed (TypeXBXXBXXEXE f), Typed (Type p)) => Typed (TypeBXXBXXEXE (f p)) | Typed (TypeBXXBXXEXE TypeXXBXXE) | (Typed (TypeBXXEBXBXXEXXE f), Typed (TypeX p)) => Typed (TypeBXBXXEXXE (f p)) | (Typed (TypeXBXBXXEXXE f), Typed (Type p)) => Typed (TypeBXBXXEXXE (f p)) | Typed (TypeBXBXXEXXE TypeXBXXEX) | (Typed (TypeBXXEBBXXEBXXEXE f), Typed (TypeX p)) => Typed (TypeBBXXEBXXEXE (f p)) | (Typed (TypeXBBXXEBXXEXE f), Typed (Type p)) => Typed (TypeBBXXEBXXEXE (f p)) | Typed (TypeBBXXEBXXEXE TypeBXXEBXXE) | (Typed (TypeBXXEBBXXEXXXE f), Typed (TypeX p)) => Typed (TypeBBXXEXXXE (f p)) | (Typed (TypeXBBXXEXXXE f), Typed (Type p)) => Typed (TypeBBXXEXXXE (f p)) | Typed (TypeBBXXEXXXE TypeBXXEXX) | (Typed (TypeBXXEBXXXXXE f), Typed (TypeX p)) => Typed (TypeBXXXXXE (f p)) | (Typed (TypeXBXXXXXE f), Typed (Type p)) => Typed (TypeBXXXXXE (f p)) | Typed (TypeBXXXXXE TypeXXXX) | (Typed (TypeBXXEXBBBXXEXEXE f), Typed (TypeX p)) => Typed (TypeXBBBXXEXEXE (f p)) | (Typed (TypeXXBBBXXEXEXE f), Typed (Type p)) => Typed (TypeXBBBXXEXEXE (f p)) | (Typed (TypeBXXEXBBXXXEXE f), Typed (TypeX p)) => Typed (TypeXBBXXXEXE (f p)) | (Typed (TypeXXBBXXXEXE f), Typed (Type p)) => Typed (TypeXBBXXXEXE (f p)) | (Typed (TypeBXXEXBXBXXEXE f), Typed (TypeX p)) => Typed (TypeXBXBXXEXE (f p)) | (Typed (TypeXXBXBXXEXE f), Typed (Type p)) => Typed (TypeXBXBXXEXE (f p)) | (Typed (TypeBXXEXBBXXEXXE f), Typed (TypeX p)) => Typed (TypeXBBXXEXXE (f p)) | (Typed (TypeXXBBXXEXXE f), Typed (Type p)) => Typed (TypeXBBXXEXXE (f p)) | (Typed (TypeBXXEXBXXXXE f), Typed (TypeX p)) => Typed (TypeXBXXXXE (f p)) | (Typed (TypeXXBXXXXE f), Typed (Type p)) => Typed (TypeXBXXXXE (f p)) | (Typed (TypeBXXEBBBXXEXEXEX f), Typed (TypeX p)) => Typed (TypeBBBXXEXEXEX (f p)) | (Typed (TypeXBBBXXEXEXEX f), Typed (Type p)) => Typed (TypeBBBXXEXEXEX (f p)) | (Typed (TypeBXXEBBXXXEXEX f), Typed (TypeX p)) => Typed (TypeBBXXXEXEX (f p)) | (Typed (TypeXBBXXXEXEX f), Typed (Type p)) => Typed (TypeBBXXXEXEX (f p)) | (Typed (TypeBXXEBXBXXEXEX f), Typed (TypeX p)) => Typed (TypeBXBXXEXEX (f p)) | (Typed (TypeXBXBXXEXEX f), Typed (Type p)) => Typed (TypeBXBXXEXEX (f p)) | (Typed (TypeBXXEBBXXEXXEX f), Typed (TypeX p)) => Typed (TypeBBXXEXXEX (f p)) | (Typed (TypeXBBXXEXXEX f), Typed (Type p)) => Typed (TypeBBXXEXXEX (f p)) | (Typed (TypeBXXEBXXXXEX f), Typed (TypeX p)) => Typed (TypeBXXXXEX (f p)) | (Typed (TypeXBXXXXEX f), Typed (Type p)) => Typed (TypeBXXXXEX (f p)) | (Typed (TypeBXXEXXBBXXEXE f), Typed (TypeX p)) => Typed (TypeXXBBXXEXE (f p)) | (Typed (TypeXXXBBXXEXE f), Typed (Type p)) => Typed (TypeXXBBXXEXE (f p)) | (Typed (TypeBXXEXXBXXXE f), Typed (TypeX p)) => Typed (TypeXXBXXXE (f p)) | (Typed (TypeXXXBXXXE f), Typed (Type p)) => Typed (TypeXXBXXXE (f p)) | (Typed (TypeBXXEXBBXXEXEX f), Typed (TypeX p)) => Typed (TypeXBBXXEXEX (f p)) | (Typed (TypeXXBBXXEXEX f), Typed (Type p)) => Typed (TypeXBBXXEXEX (f p)) | (Typed (TypeBXXEXBXXXEX f), Typed (TypeX p)) => Typed (TypeXBXXXEX (f p)) | (Typed (TypeXXBXXXEX f), Typed (Type p)) => Typed (TypeXBXXXEX (f p)) | (Typed (TypeBXXEBBXXEXEBXXE f), Typed (TypeX p)) => Typed (TypeBBXXEXEBXXE (f p)) | (Typed (TypeXBBXXEXEBXXE f), Typed (Type p)) => Typed (TypeBBXXEXEBXXE (f p)) | (Typed (TypeBXXEBBXXEXEXX f), Typed (TypeX p)) => Typed (TypeBBXXEXEXX (f p)) | (Typed (TypeXBBXXEXEXX f), Typed (Type p)) => Typed (TypeBBXXEXEXX (f p)) | (Typed (TypeBXXEBXXXEBXXE f), Typed (TypeX p)) => Typed (TypeBXXXEBXXE (f p)) | (Typed (TypeXBXXXEBXXE f), Typed (Type p)) => Typed (TypeBXXXEBXXE (f p)) | (Typed (TypeBXXEBXXXEXX f), Typed (TypeX p)) => Typed (TypeBXXXEXX (f p)) | (Typed (TypeXBXXXEXX f), Typed (Type p)) => Typed (TypeBXXXEXX (f p)) | (Typed (TypeBXXEXXXBXXE f), Typed (TypeX p)) => Typed (TypeXXXBXXE (f p)) | (Typed (TypeXXXXBXXE f), Typed (Type p)) => Typed (TypeXXXBXXE (f p)) | (Typed (TypeBXXEXXBXXEX f), Typed (TypeX p)) => Typed (TypeXXBXXEX (f p)) | (Typed (TypeXXXBXXEX f), Typed (Type p)) => Typed (TypeXXBXXEX (f p)) | (Typed (TypeBXXEXBXXEBXXE f), Typed (TypeX p)) => Typed (TypeXBXXEBXXE (f p)) | (Typed (TypeXXBXXEBXXE f), Typed (Type p)) => Typed (TypeXBXXEBXXE (f p)) | (Typed (TypeBXXEXBXXEXX f), Typed (TypeX p)) => Typed (TypeXBXXEXX (f p)) | (Typed (TypeXXBXXEXX f), Typed (Type p)) => Typed (TypeXBXXEXX (f p)) | (Typed (TypeBXXEBXXEBBXXEXE f), Typed (TypeX p)) => Typed (TypeBXXEBBXXEXE (f p)) | (Typed (TypeXBXXEBBXXEXE f), Typed (Type p)) => Typed (TypeBXXEBBXXEXE (f p)) | (Typed (TypeBXXEBXXEBXXXE f), Typed (TypeX p)) => Typed (TypeBXXEBXXXE (f p)) | (Typed (TypeXBXXEBXXXE f), Typed (Type p)) => Typed (TypeBXXEBXXXE (f p)) | (Typed (TypeBXXEBXXEXBXXE f), Typed (TypeX p)) => Typed (TypeBXXEXBXXE (f p)) | (Typed (TypeXBXXEXBXXE f), Typed (Type p)) => Typed (TypeBXXEXBXXE (f p)) | (Typed (TypeBXXEBXXEBXXEX f), Typed (TypeX p)) => Typed (TypeBXXEBXXEX (f p)) | (Typed (TypeXBXXEBXXEX f), Typed (Type p)) => Typed (TypeBXXEBXXEX (f p)) | (Typed (TypeBXXEBXXEXXX f), Typed (TypeX p)) => Typed (TypeBXXEXXX (f p)) | (Typed (TypeXBXXEXXX f), Typed (Type p)) => Typed (TypeBXXEXXX (f p)) | Typed (TypeXXXXX (,,,,)) | (Typed (TypeBXXEXXXXX f), Typed (TypeX p)) => Typed (TypeXXXXX (f p)) | (Typed (TypeXXXXXX f), Typed (Type p)) => Typed (TypeXXXXX (f p)) | (Typed (TypeBBXXEXEBBBXXEXEXE f), Typed (TypeBXXE p)) => Typed (TypeBBBXXEXEXE (f p)) | (Typed (TypeBXXXEBBBXXEXEXE f), Typed (TypeXX p)) => Typed (TypeBBBXXEXEXE (f p)) | (Typed (TypeBXXEBBBXXEXEXE f), Typed (TypeX p)) => Typed (TypeBBBXXEXEXE (f p)) | (Typed (TypeXBBBXXEXEXE f), Typed (Type p)) => Typed (TypeBBBXXEXEXE (f p)) | Typed (TypeBBBXXEXEXE TypeBBXXEXE) | (Typed (TypeBBXXEXEBBXXXEXE f), Typed (TypeBXXE p)) => Typed (TypeBBXXXEXE (f p)) | (Typed (TypeBXXXEBBXXXEXE f), Typed (TypeXX p)) => Typed (TypeBBXXXEXE (f p)) | (Typed (TypeBXXEBBXXXEXE f), Typed (TypeX p)) => Typed (TypeBBXXXEXE (f p)) | (Typed (TypeXBBXXXEXE f), Typed (Type p)) => Typed (TypeBBXXXEXE (f p)) | Typed (TypeBBXXXEXE TypeBXXXE) | (Typed (TypeBBXXEXEBXBXXEXE f), Typed (TypeBXXE p)) => Typed (TypeBXBXXEXE (f p)) | (Typed (TypeBXXXEBXBXXEXE f), Typed (TypeXX p)) => Typed (TypeBXBXXEXE (f p)) | (Typed (TypeBXXEBXBXXEXE f), Typed (TypeX p)) => Typed (TypeBXBXXEXE (f p)) | (Typed (TypeXBXBXXEXE f), Typed (Type p)) => Typed (TypeBXBXXEXE (f p)) | Typed (TypeBXBXXEXE TypeXBXXE) | (Typed (TypeBBXXEXEBBXXEXXE f), Typed (TypeBXXE p)) => Typed (TypeBBXXEXXE (f p)) | (Typed (TypeBXXXEBBXXEXXE f), Typed (TypeXX p)) => Typed (TypeBBXXEXXE (f p)) | (Typed (TypeBXXEBBXXEXXE f), Typed (TypeX p)) => Typed (TypeBBXXEXXE (f p)) | (Typed (TypeXBBXXEXXE f), Typed (Type p)) => Typed (TypeBBXXEXXE (f p)) | Typed (TypeBBXXEXXE TypeBXXEX) | (Typed (TypeBBXXEXEBXXXXE f), Typed (TypeBXXE p)) => Typed (TypeBXXXXE (f p)) | (Typed (TypeBXXXEBXXXXE f), Typed (TypeXX p)) => Typed (TypeBXXXXE (f p)) | (Typed (TypeBXXEBXXXXE f), Typed (TypeX p)) => Typed (TypeBXXXXE (f p)) | (Typed (TypeXBXXXXE f), Typed (Type p)) => Typed (TypeBXXXXE (f p)) | Typed (TypeBXXXXE TypeXXX) | (Typed (TypeBBXXEXEXBBXXEXE f), Typed (TypeBXXE p)) => Typed (TypeXBBXXEXE (f p)) | (Typed (TypeBXXXEXBBXXEXE f), Typed (TypeXX p)) => Typed (TypeXBBXXEXE (f p)) | (Typed (TypeBXXEXBBXXEXE f), Typed (TypeX p)) => Typed (TypeXBBXXEXE (f p)) | (Typed (TypeXXBBXXEXE f), Typed (Type p)) => Typed (TypeXBBXXEXE (f p)) | (Typed (TypeBBXXEXEXBXXXE f), Typed (TypeBXXE p)) => Typed (TypeXBXXXE (f p)) | (Typed (TypeBXXXEXBXXXE f), Typed (TypeXX p)) => Typed (TypeXBXXXE (f p)) | (Typed (TypeBXXEXBXXXE f), Typed (TypeX p)) => Typed (TypeXBXXXE (f p)) | (Typed (TypeXXBXXXE f), Typed (Type p)) => Typed (TypeXBXXXE (f p)) | (Typed (TypeBBXXEXEBBXXEXEX f), Typed (TypeBXXE p)) => Typed (TypeBBXXEXEX (f p)) | (Typed (TypeBXXXEBBXXEXEX f), Typed (TypeXX p)) => Typed (TypeBBXXEXEX (f p)) | (Typed (TypeBXXEBBXXEXEX f), Typed (TypeX p)) => Typed (TypeBBXXEXEX (f p)) | (Typed (TypeXBBXXEXEX f), Typed (Type p)) => Typed (TypeBBXXEXEX (f p)) | (Typed (TypeBBXXEXEBXXXEX f), Typed (TypeBXXE p)) => Typed (TypeBXXXEX (f p)) | (Typed (TypeBXXXEBXXXEX f), Typed (TypeXX p)) => Typed (TypeBXXXEX (f p)) | (Typed (TypeBXXEBXXXEX f), Typed (TypeX p)) => Typed (TypeBXXXEX (f p)) | (Typed (TypeXBXXXEX f), Typed (Type p)) => Typed (TypeBXXXEX (f p)) | (Typed (TypeBBXXEXEXXBXXE f), Typed (TypeBXXE p)) => Typed (TypeXXBXXE (f p)) | (Typed (TypeBXXXEXXBXXE f), Typed (TypeXX p)) => Typed (TypeXXBXXE (f p)) | (Typed (TypeBXXEXXBXXE f), Typed (TypeX p)) => Typed (TypeXXBXXE (f p)) | (Typed (TypeXXXBXXE f), Typed (Type p)) => Typed (TypeXXBXXE (f p)) | (Typed (TypeBBXXEXEXBXXEX f), Typed (TypeBXXE p)) => Typed (TypeXBXXEX (f p)) | (Typed (TypeBXXXEXBXXEX f), Typed (TypeXX p)) => Typed (TypeXBXXEX (f p)) | (Typed (TypeBXXEXBXXEX f), Typed (TypeX p)) => Typed (TypeXBXXEX (f p)) | (Typed (TypeXXBXXEX f), Typed (Type p)) => Typed (TypeXBXXEX (f p)) | (Typed (TypeBBXXEXEBXXEBXXE f), Typed (TypeBXXE p)) => Typed (TypeBXXEBXXE (f p)) | (Typed (TypeBXXXEBXXEBXXE f), Typed (TypeXX p)) => Typed (TypeBXXEBXXE (f p)) | (Typed (TypeBXXEBXXEBXXE f), Typed (TypeX p)) => Typed (TypeBXXEBXXE (f p)) | (Typed (TypeXBXXEBXXE f), Typed (Type p)) => Typed (TypeBXXEBXXE (f p)) | (Typed (TypeBBXXEXEBXXEXX f), Typed (TypeBXXE p)) => Typed (TypeBXXEXX (f p)) | (Typed (TypeBXXXEBXXEXX f), Typed (TypeXX p)) => Typed (TypeBXXEXX (f p)) | (Typed (TypeBXXEBXXEXX f), Typed (TypeX p)) => Typed (TypeBXXEXX (f p)) | (Typed (TypeXBXXEXX f), Typed (Type p)) => Typed (TypeBXXEXX (f p)) | Typed (TypeXXXX (,,,)) | (Typed (TypeBBXXEXEXXXX f), Typed (TypeBXXE p)) => Typed (TypeXXXX (f p)) | (Typed (TypeBXXXEXXXX f), Typed (TypeXX p)) => Typed (TypeXXXX (f p)) | (Typed (TypeBXXEXXXX f), Typed (TypeX p)) => Typed (TypeXXXX (f p)) | (Typed (TypeXXXXX f), Typed (Type p)) => Typed (TypeXXXX (f p)) | (Typed (TypeBBBXXEXEXEBBXXEXE f), Typed (TypeBBXXEXE p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBBXXXEXEBBXXEXE f), Typed (TypeBXXXE p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBXBXXEXEBBXXEXE f), Typed (TypeXBXXE p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBBXXEXXEBBXXEXE f), Typed (TypeBXXEX p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBXXXXEBBXXEXE f), Typed (TypeXXX p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBBXXEXEBBXXEXE f), Typed (TypeBXXE p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBXXXEBBXXEXE f), Typed (TypeXX p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeBXXEBBXXEXE f), Typed (TypeX p)) => Typed (TypeBBXXEXE (f p)) | (Typed (TypeXBBXXEXE f), Typed (Type p)) => Typed (TypeBBXXEXE (f p)) | Typed (TypeBBXXEXE TypeBXXE) | (Typed (TypeBBBXXEXEXEBXXXE f), Typed (TypeBBXXEXE p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBBXXXEXEBXXXE f), Typed (TypeBXXXE p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBXBXXEXEBXXXE f), Typed (TypeXBXXE p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBBXXEXXEBXXXE f), Typed (TypeBXXEX p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBXXXXEBXXXE f), Typed (TypeXXX p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBBXXEXEBXXXE f), Typed (TypeBXXE p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBXXXEBXXXE f), Typed (TypeXX p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeBXXEBXXXE f), Typed (TypeX p)) => Typed (TypeBXXXE (f p)) | (Typed (TypeXBXXXE f), Typed (Type p)) => Typed (TypeBXXXE (f p)) | Typed (TypeBXXXE TypeXX) | (Typed (TypeBBBXXEXEXEXBXXE f), Typed (TypeBBXXEXE p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBBXXXEXEXBXXE f), Typed (TypeBXXXE p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBXBXXEXEXBXXE f), Typed (TypeXBXXE p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBBXXEXXEXBXXE f), Typed (TypeBXXEX p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBXXXXEXBXXE f), Typed (TypeXXX p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBBXXEXEXBXXE f), Typed (TypeBXXE p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBXXXEXBXXE f), Typed (TypeXX p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBXXEXBXXE f), Typed (TypeX p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeXXBXXE f), Typed (Type p)) => Typed (TypeXBXXE (f p)) | (Typed (TypeBBBXXEXEXEBXXEX f), Typed (TypeBBXXEXE p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBBXXXEXEBXXEX f), Typed (TypeBXXXE p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBXBXXEXEBXXEX f), Typed (TypeXBXXE p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBBXXEXXEBXXEX f), Typed (TypeBXXEX p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBXXXXEBXXEX f), Typed (TypeXXX p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBBXXEXEBXXEX f), Typed (TypeBXXE p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBXXXEBXXEX f), Typed (TypeXX p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeBXXEBXXEX f), Typed (TypeX p)) => Typed (TypeBXXEX (f p)) | (Typed (TypeXBXXEX f), Typed (Type p)) => Typed (TypeBXXEX (f p)) | Typed (TypeXXX (,,)) | (Typed (TypeBBBXXEXEXEXXX f), Typed (TypeBBXXEXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXXEXEXXX f), Typed (TypeBXXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXBXXEXEXXX f), Typed (TypeXBXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXEXXEXXX f), Typed (TypeBXXEX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXXXEXXX f), Typed (TypeXXX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXEXEXXX f), Typed (TypeBXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXXEXXX f), Typed (TypeXX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXEXXX f), Typed (TypeX p)) => Typed (TypeXXX (f p)) | (Typed (TypeXXXX f), Typed (Type p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBBBXXEXEXEXEBXXE f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXXEXEXEBXXE f), Typed (TypeBBXXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXBXXEXEXEBXXE f), Typed (TypeBXBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXXEXEBXXE f), Typed (TypeBBXXEXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXXEXEBXXE f), Typed (TypeBXXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBBXXEXEXEBXXE f), Typed (TypeXBBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXXEXEBXXE f), Typed (TypeXBXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXEXXEBXXE f), Typed (TypeBBXXEXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXEXXEBXXE f), Typed (TypeBXXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXBXXEXEBXXE f), Typed (TypeXXBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXEXXEBXXE f), Typed (TypeXBXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEBXXEXEBXXE f), Typed (TypeBXXEBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXXXEBXXE f), Typed (TypeBXXEXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXXXEBXXE f), Typed (TypeXXXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXEXEBXXE f), Typed (TypeBBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXEXEBXXE f), Typed (TypeBXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXEXEBXXE f), Typed (TypeXBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXXEBXXE f), Typed (TypeBXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXXEBXXE f), Typed (TypeXXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXEBXXE f), Typed (TypeBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXEBXXE f), Typed (TypeXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXEBXXE f), Typed (TypeX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeXBXXE f), Typed (Type p)) => Typed (TypeBXXE (f p)) | Typed (TypeBXXE TypeX) | Typed (TypeXX (->)) | Typed (TypeXX Either) | Typed (TypeXX (,)) | (Typed (TypeBBBBXXEXEXEXEXX f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXXEXEXEXX f), Typed (TypeBBXXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXBXXEXEXEXX f), Typed (TypeBXBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXXEXEXX f), Typed (TypeBBXXEXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXXEXEXX f), Typed (TypeBXXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBBXXEXEXEXX f), Typed (TypeXBBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXXEXEXX f), Typed (TypeXBXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXEXXEXX f), Typed (TypeBBXXEXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXEXXEXX f), Typed (TypeBXXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXBXXEXEXX f), Typed (TypeXXBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXEXXEXX f), Typed (TypeXBXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEBXXEXEXX f), Typed (TypeBXXEBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXXXEXX f), Typed (TypeBXXEXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXXXEXX f), Typed (TypeXXXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXEXEXX f), Typed (TypeBBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXEXEXX f), Typed (TypeBXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXEXEXX f), Typed (TypeXBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXXEXX f), Typed (TypeBXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXXEXX f), Typed (TypeXXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXEXX f), Typed (TypeBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXEXX f), Typed (TypeXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXEXX f), Typed (TypeX p)) => Typed (TypeXX (f p)) | (Typed (TypeXXX f), Typed (Type p)) => Typed (TypeXX (f p)) | Typed (TypeXX Map) | Typed (TypeX []) | Typed (TypeX Ratio) | Typed (TypeX IO) | (Typed (TypeBBBBBXXEXEXEXEXEX f), Typed (TypeBBBBXXEXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXXEXEXEXEX f), Typed (TypeBBBXXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXBXXEXEXEXEX f), Typed (TypeBBXBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXXEXEXEX f), Typed (TypeBBBXXEXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXXEXEXEX f), Typed (TypeBBXXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBBXXEXEXEXEX f), Typed (TypeBXBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXXEXEXEX f), Typed (TypeBXBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXXEXEX f), Typed (TypeBBBXXEXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXXEXEX f), Typed (TypeBBXXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXBXXEXEXEX f), Typed (TypeBXXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXXEXEX f), Typed (TypeBXBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEBXXEXEXEX f), Typed (TypeBBXXEBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXXEXEX f), Typed (TypeBBXXEXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXXEXEX f), Typed (TypeBXXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBBXXEXEXEXEX f), Typed (TypeXBBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXXEXEXEX f), Typed (TypeXBBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXBXXEXEXEX f), Typed (TypeXBXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXXEXEX f), Typed (TypeXBBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXXEXEX f), Typed (TypeXBXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXEXXEX f), Typed (TypeBBBXXEXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXEXXEX f), Typed (TypeBBXXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXEXXEX f), Typed (TypeBXBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXEXXEX f), Typed (TypeBBXXEXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXEXXEX f), Typed (TypeBXXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBBXXEXEXEX f), Typed (TypeXXBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXXEXEX f), Typed (TypeXXBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXEXXEX f), Typed (TypeXBBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXEXXEX f), Typed (TypeXBXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEBXXEXEX f), Typed (TypeBBXXEXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXXXEX f), Typed (TypeBBXXEXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEBXXEXEX f), Typed (TypeBXXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXXXEX f), Typed (TypeBXXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXBXXEXEX f), Typed (TypeXXXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXEXXEX f), Typed (TypeXXBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEBXXEXEX f), Typed (TypeXBXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXXXEX f), Typed (TypeXBXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBBXXEXEXEX f), Typed (TypeBXXEBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXXEXEX f), Typed (TypeBXXEBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXBXXEXEX f), Typed (TypeBXXEXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXEXXEX f), Typed (TypeBXXEBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXXXEX f), Typed (TypeBXXEXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXXXEX f), Typed (TypeXXXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXEXEX f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXEXEX f), Typed (TypeBBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXEXEX f), Typed (TypeBXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXEXEX f), Typed (TypeBBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXEXEX f), Typed (TypeBXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXEXEX f), Typed (TypeXBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXEXEX f), Typed (TypeXBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXXEX f), Typed (TypeBBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXXEX f), Typed (TypeBXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXEXEX f), Typed (TypeXXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXXEX f), Typed (TypeXBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXEXEX f), Typed (TypeBXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXXEX f), Typed (TypeBXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXXEX f), Typed (TypeXXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXEX f), Typed (TypeBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXEX f), Typed (TypeBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXEX f), Typed (TypeXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXEX f), Typed (TypeBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXEX f), Typed (TypeXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXEX f), Typed (TypeBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXEX f), Typed (TypeXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXEX f), Typed (TypeX p)) => Typed (TypeX (f p)) | (Typed (TypeXX f), Typed (Type p)) => Typed (TypeX (f p)) | Typed (TypeX Complex) | Typed (TypeX MVar) | Typed (TypeX IORef) | Typed (TypeX Maybe) | Typed (TypeX IntMap) | Typed (TypeX Tree) | Typed (TypeX Set) | Typed (TypeX Type) | Typed (Type Bool) | Typed (Type Char) | Typed (Type Double) | Typed (Type Float) | Typed (Type Int) | Typed (Type Int8) | Typed (Type Int16) | Typed (Type Int32) | Typed (Type Int64) | Typed (Type Integer) | Typed (Type Word) | Typed (Type Word8) | Typed (Type Word16) | Typed (Type Word32) | Typed (Type Word64) | Typed (Type ()) | (Typed (TypeBBBBBBXXEXEXEXEXEXE f), Typed (TypeBBBBBXXEXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXXEXEXEXEXE f), Typed (TypeBBBBXXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXBXXEXEXEXEXE f), Typed (TypeBBBXBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXXEXEXEXE f), Typed (TypeBBBBXXEXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXXEXEXEXE f), Typed (TypeBBBXXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBBXXEXEXEXEXE f), Typed (TypeBBXBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXXEXEXEXE f), Typed (TypeBBXBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXXEXEXE f), Typed (TypeBBBBXXEXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXXEXEXE f), Typed (TypeBBBXXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXBXXEXEXEXE f), Typed (TypeBBXXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXXEXEXE f), Typed (TypeBBXBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEBXXEXEXEXE f), Typed (TypeBBBXXEBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXXEXEXE f), Typed (TypeBBBXXEXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXXEXEXE f), Typed (TypeBBXXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBBXXEXEXEXEXE f), Typed (TypeBXBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXXEXEXEXE f), Typed (TypeBXBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXBXXEXEXEXE f), Typed (TypeBXBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXXEXEXE f), Typed (TypeBXBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXXEXEXE f), Typed (TypeBXBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXXEXE f), Typed (TypeBBBBXXEXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXXEXE f), Typed (TypeBBBXXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXXEXE f), Typed (TypeBBXBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXXEXE f), Typed (TypeBBBXXEXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXXEXE f), Typed (TypeBBXXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBBXXEXEXEXE f), Typed (TypeBXXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXXEXEXE f), Typed (TypeBXXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXXEXE f), Typed (TypeBXBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXXEXE f), Typed (TypeBXBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEBXXEXEXE f), Typed (TypeBBBXXEXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXXEXE f), Typed (TypeBBBXXEXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEBXXEXEXE f), Typed (TypeBBXXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXXEXE f), Typed (TypeBBXXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXBXXEXEXE f), Typed (TypeBXXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXXEXE f), Typed (TypeBXXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEBXXEXEXE f), Typed (TypeBXBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXXEXE f), Typed (TypeBXBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBBXXEXEXEXE f), Typed (TypeBBXXEBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXXEXEXE f), Typed (TypeBBXXEBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXBXXEXEXE f), Typed (TypeBBXXEXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXXEXE f), Typed (TypeBBXXEBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXXEXE f), Typed (TypeBBXXEXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXXEXE f), Typed (TypeBXXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBBXXEXEXEXEXE f), Typed (TypeXBBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXXEXEXEXE f), Typed (TypeXBBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXBXXEXEXEXE f), Typed (TypeXBBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXXEXEXE f), Typed (TypeXBBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXXEXEXE f), Typed (TypeXBBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBBXXEXEXEXE f), Typed (TypeXBXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXXEXEXE f), Typed (TypeXBXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXXEXE f), Typed (TypeXBBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXXEXE f), Typed (TypeXBBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXBXXEXEXE f), Typed (TypeXBXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXXEXE f), Typed (TypeXBXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEBXXEXEXE f), Typed (TypeXBBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXXEXE f), Typed (TypeXBBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXXEXE f), Typed (TypeXBXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXEXXE f), Typed (TypeBBBBXXEXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXEXXE f), Typed (TypeBBBXXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXEXXE f), Typed (TypeBBXBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXEXXE f), Typed (TypeBBBXXEXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXEXXE f), Typed (TypeBBXXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXEXXE f), Typed (TypeBXBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXEXXE f), Typed (TypeBXBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXEXXE f), Typed (TypeBBBXXEXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXEXXE f), Typed (TypeBBXXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXEXXE f), Typed (TypeBXXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXEXXE f), Typed (TypeBXBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXEXXE f), Typed (TypeBBXXEBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXEXXE f), Typed (TypeBBXXEXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXEXXE f), Typed (TypeBXXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBBBXXEXEXEXE f), Typed (TypeXXBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXXEXEXE f), Typed (TypeXXBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXBXXEXEXE f), Typed (TypeXXBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXXEXE f), Typed (TypeXXBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXXEXE f), Typed (TypeXXBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXEXXE f), Typed (TypeXBBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXEXXE f), Typed (TypeXBBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXEXXE f), Typed (TypeXBXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXEXXE f), Typed (TypeXBBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXEXXE f), Typed (TypeXBXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEBXXEXE f), Typed (TypeBBBXXEXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXXXE f), Typed (TypeBBBXXEXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEBXXEXE f), Typed (TypeBBXXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXXXE f), Typed (TypeBBXXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEBXXEXE f), Typed (TypeBXBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXXXE f), Typed (TypeBXBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEBXXEXE f), Typed (TypeBBXXEXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXXXE f), Typed (TypeBBXXEXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEBXXEXE f), Typed (TypeBXXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXXXE f), Typed (TypeBXXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXBBXXEXEXE f), Typed (TypeXXXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXXEXE f), Typed (TypeXXXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXEXXE f), Typed (TypeXXBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXEXXE f), Typed (TypeXXBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEBXXEXE f), Typed (TypeXBBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXXXE f), Typed (TypeXBBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEBXXEXE f), Typed (TypeXBXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXXXE f), Typed (TypeXBXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBBXXEXEXE f), Typed (TypeBBXXEXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXXEXE f), Typed (TypeBBXXEXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXBXXEXE f), Typed (TypeBBXXEXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXEXXE f), Typed (TypeBBXXEXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXXXE f), Typed (TypeBBXXEXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBBXXEXEXE f), Typed (TypeBXXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXXEXE f), Typed (TypeBXXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXBXXEXE f), Typed (TypeBXXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXEXXE f), Typed (TypeBXXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXXXE f), Typed (TypeBXXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXBXXEXE f), Typed (TypeXXXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXEXXE f), Typed (TypeXXXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEBXXEXE f), Typed (TypeXXBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXXXE f), Typed (TypeXXBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBBXXEXEXE f), Typed (TypeXBXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXXEXE f), Typed (TypeXBXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXBXXEXE f), Typed (TypeXBXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXEXXE f), Typed (TypeXBXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXXXE f), Typed (TypeXBXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBBXXEXEXEXE f), Typed (TypeBXXEBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXXEXEXE f), Typed (TypeBXXEBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXBXXEXEXE f), Typed (TypeBXXEBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXXEXE f), Typed (TypeBXXEBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXXEXE f), Typed (TypeBXXEBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBBXXEXEXE f), Typed (TypeBXXEXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXXEXE f), Typed (TypeBXXEXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXEXXE f), Typed (TypeBXXEBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXEXXE f), Typed (TypeBXXEBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXBXXEXE f), Typed (TypeBXXEXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXEXXE f), Typed (TypeBXXEXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEBXXEXE f), Typed (TypeBXXEBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXXXE f), Typed (TypeBXXEBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXXXE f), Typed (TypeBXXEXXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXXXE f), Typed (TypeXXXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXEXE f), Typed (TypeBBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXEXE f), Typed (TypeBBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXEXE f), Typed (TypeBBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXEXE f), Typed (TypeBBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXEXE f), Typed (TypeBBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXEXE f), Typed (TypeBXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXEXE f), Typed (TypeBXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXEXE f), Typed (TypeBBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXEXE f), Typed (TypeBBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXEXE f), Typed (TypeBXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXEXE f), Typed (TypeBXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXEXE f), Typed (TypeBBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXEXE f), Typed (TypeBBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXEXE f), Typed (TypeBXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXEXE f), Typed (TypeXBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXEXE f), Typed (TypeXBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXEXE f), Typed (TypeXBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXEXE f), Typed (TypeXBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXEXE f), Typed (TypeXBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXXE f), Typed (TypeBBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXXE f), Typed (TypeBBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXXE f), Typed (TypeBXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXXE f), Typed (TypeBBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXXE f), Typed (TypeBXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXEXE f), Typed (TypeXXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXEXE f), Typed (TypeXXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXXE f), Typed (TypeXBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXXE f), Typed (TypeXBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXEXE f), Typed (TypeBBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXXE f), Typed (TypeBBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXEXE f), Typed (TypeBXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXXE f), Typed (TypeBXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXEXE f), Typed (TypeXXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXXE f), Typed (TypeXXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXEXE f), Typed (TypeXBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXXE f), Typed (TypeXBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXEXE f), Typed (TypeBXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXEXE f), Typed (TypeBXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXEXE f), Typed (TypeBXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXXE f), Typed (TypeBXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXXE f), Typed (TypeBXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXXE f), Typed (TypeXXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXE f), Typed (TypeBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXE f), Typed (TypeBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXE f), Typed (TypeBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXE f), Typed (TypeBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXE f), Typed (TypeBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXE f), Typed (TypeXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXE f), Typed (TypeXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXE f), Typed (TypeBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXE f), Typed (TypeBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXE f), Typed (TypeXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXE f), Typed (TypeXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXE f), Typed (TypeBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXE f), Typed (TypeBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXE f), Typed (TypeXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXE f), Typed (TypeBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXE f), Typed (TypeBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXE f), Typed (TypeXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXE f), Typed (TypeBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXE f), Typed (TypeXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXE f), Typed (TypeBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXE f), Typed (TypeXX p)) => Typed (Type (f p)) | (Typed (TypeBXXE f), Typed (TypeX p)) => Typed (Type (f p)) | (Typed (TypeX f), Typed (Type p)) => Typed (Type (f p)) | Typed (Type IntSet) |
|
|
|
|
:: String | Module name of which the type constructor is part of.
| -> String | Fully qualified type constructor name.
| -> TypeID | The TypeID of the given type constructor.
| Used internally when defining instances of Typed.
|
|
|
|
:: TypeID | The incomplete TypeID to which the type parameter is being applied to.
| -> TypeID | The TypeID that is given as a parameter.
| -> TypeID | Resulting type id.
| Used internally when defining instances of Typed.
|
|
|
|
:: | | => String -> String -> r | Extract the data given to makeTypeID
| -> r -> r -> r | Extract the data given to applyTypeID
| -> TypeID | The TypeID from which the data needs to be extracted.
| -> r | The extract.
| Used mainly internally, but may be useful for defining custom show like functions for TypeIDs.
Extracts the raw data that was used to construct TypeIDs.
|
|
|
|
An encapsulation of type with a kind * .
| Constructors | | Instances | Typed (Type Bool) | Typed (Type Char) | Typed (Type Double) | Typed (Type Float) | Typed (Type Int) | Typed (Type Int8) | Typed (Type Int16) | Typed (Type Int32) | Typed (Type Int64) | Typed (Type Integer) | Typed (Type Word) | Typed (Type Word8) | Typed (Type Word16) | Typed (Type Word32) | Typed (Type Word64) | Typed (Type ()) | (Typed (TypeBBBBBBXXEXEXEXEXEXE f), Typed (TypeBBBBBXXEXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXXEXEXEXEXE f), Typed (TypeBBBBXXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXBXXEXEXEXEXE f), Typed (TypeBBBXBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXXEXEXEXE f), Typed (TypeBBBBXXEXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXXEXEXEXE f), Typed (TypeBBBXXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBBXXEXEXEXEXE f), Typed (TypeBBXBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXXEXEXEXE f), Typed (TypeBBXBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXXEXEXE f), Typed (TypeBBBBXXEXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXXEXEXE f), Typed (TypeBBBXXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXBXXEXEXEXE f), Typed (TypeBBXXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXXEXEXE f), Typed (TypeBBXBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEBXXEXEXEXE f), Typed (TypeBBBXXEBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXXEXEXE f), Typed (TypeBBBXXEXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXXEXEXE f), Typed (TypeBBXXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBBXXEXEXEXEXE f), Typed (TypeBXBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXXEXEXEXE f), Typed (TypeBXBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXBXXEXEXEXE f), Typed (TypeBXBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXXEXEXE f), Typed (TypeBXBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXXEXEXE f), Typed (TypeBXBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXXEXE f), Typed (TypeBBBBXXEXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXXEXE f), Typed (TypeBBBXXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXXEXE f), Typed (TypeBBXBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXXEXE f), Typed (TypeBBBXXEXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXXEXE f), Typed (TypeBBXXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBBXXEXEXEXE f), Typed (TypeBXXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXXEXEXE f), Typed (TypeBXXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXXEXE f), Typed (TypeBXBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXXEXE f), Typed (TypeBXBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEBXXEXEXE f), Typed (TypeBBBXXEXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXXEXE f), Typed (TypeBBBXXEXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEBXXEXEXE f), Typed (TypeBBXXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXXEXE f), Typed (TypeBBXXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXBXXEXEXE f), Typed (TypeBXXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXXEXE f), Typed (TypeBXXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEBXXEXEXE f), Typed (TypeBXBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXXEXE f), Typed (TypeBXBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBBXXEXEXEXE f), Typed (TypeBBXXEBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXXEXEXE f), Typed (TypeBBXXEBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXBXXEXEXE f), Typed (TypeBBXXEXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXXEXE f), Typed (TypeBBXXEBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXXEXE f), Typed (TypeBBXXEXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXXEXE f), Typed (TypeBXXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBBXXEXEXEXEXE f), Typed (TypeXBBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXXEXEXEXE f), Typed (TypeXBBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXBXXEXEXEXE f), Typed (TypeXBBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXXEXEXE f), Typed (TypeXBBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXXEXEXE f), Typed (TypeXBBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBBXXEXEXEXE f), Typed (TypeXBXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXXEXEXE f), Typed (TypeXBXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXXEXE f), Typed (TypeXBBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXXEXE f), Typed (TypeXBBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXBXXEXEXE f), Typed (TypeXBXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXXEXE f), Typed (TypeXBXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEBXXEXEXE f), Typed (TypeXBBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXXEXE f), Typed (TypeXBBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXXEXE f), Typed (TypeXBXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXEXXE f), Typed (TypeBBBBXXEXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXEXXE f), Typed (TypeBBBXXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXEXXE f), Typed (TypeBBXBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXEXXE f), Typed (TypeBBBXXEXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXEXXE f), Typed (TypeBBXXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXEXXE f), Typed (TypeBXBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXEXXE f), Typed (TypeBXBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXEXXE f), Typed (TypeBBBXXEXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXEXXE f), Typed (TypeBBXXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXEXXE f), Typed (TypeBXXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXEXXE f), Typed (TypeBXBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXEXXE f), Typed (TypeBBXXEBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXEXXE f), Typed (TypeBBXXEXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXEXXE f), Typed (TypeBXXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBBBXXEXEXEXE f), Typed (TypeXXBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXXEXEXE f), Typed (TypeXXBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXBXXEXEXE f), Typed (TypeXXBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXXEXE f), Typed (TypeXXBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXXEXE f), Typed (TypeXXBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXEXXE f), Typed (TypeXBBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXEXXE f), Typed (TypeXBBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXEXXE f), Typed (TypeXBXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXEXXE f), Typed (TypeXBBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXEXXE f), Typed (TypeXBXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEBXXEXE f), Typed (TypeBBBXXEXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXXXE f), Typed (TypeBBBXXEXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEBXXEXE f), Typed (TypeBBXXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXXXE f), Typed (TypeBBXXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEBXXEXE f), Typed (TypeBXBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXXXE f), Typed (TypeBXBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEBXXEXE f), Typed (TypeBBXXEXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXXXE f), Typed (TypeBBXXEXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEBXXEXE f), Typed (TypeBXXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXXXE f), Typed (TypeBXXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXBBXXEXEXE f), Typed (TypeXXXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXXEXE f), Typed (TypeXXXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXEXXE f), Typed (TypeXXBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXEXXE f), Typed (TypeXXBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEBXXEXE f), Typed (TypeXBBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXXXE f), Typed (TypeXBBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEBXXEXE f), Typed (TypeXBXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXXXE f), Typed (TypeXBXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBBXXEXEXE f), Typed (TypeBBXXEXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXXEXE f), Typed (TypeBBXXEXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXBXXEXE f), Typed (TypeBBXXEXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXEXXE f), Typed (TypeBBXXEXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXXXE f), Typed (TypeBBXXEXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBBXXEXEXE f), Typed (TypeBXXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXXEXE f), Typed (TypeBXXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXBXXEXE f), Typed (TypeBXXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXEXXE f), Typed (TypeBXXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXXXE f), Typed (TypeBXXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXBXXEXE f), Typed (TypeXXXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXEXXE f), Typed (TypeXXXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEBXXEXE f), Typed (TypeXXBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXXXE f), Typed (TypeXXBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBBXXEXEXE f), Typed (TypeXBXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXXEXE f), Typed (TypeXBXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXBXXEXE f), Typed (TypeXBXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXEXXE f), Typed (TypeXBXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXXXE f), Typed (TypeXBXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBBXXEXEXEXE f), Typed (TypeBXXEBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXXEXEXE f), Typed (TypeBXXEBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXBXXEXEXE f), Typed (TypeBXXEBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXXEXE f), Typed (TypeBXXEBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXXEXE f), Typed (TypeBXXEBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBBXXEXEXE f), Typed (TypeBXXEXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXXEXE f), Typed (TypeBXXEXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXEXXE f), Typed (TypeBXXEBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXEXXE f), Typed (TypeBXXEBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXBXXEXE f), Typed (TypeBXXEXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXEXXE f), Typed (TypeBXXEXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEBXXEXE f), Typed (TypeBXXEBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXXXE f), Typed (TypeBXXEBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXXXE f), Typed (TypeBXXEXXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXXXE f), Typed (TypeXXXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBBBXXEXEXEXEXE f), Typed (TypeBBBBXXEXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXXEXEXEXE f), Typed (TypeBBBXXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXBXXEXEXEXE f), Typed (TypeBBXBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXXEXEXE f), Typed (TypeBBBXXEXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXXEXEXE f), Typed (TypeBBXXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBBXXEXEXEXE f), Typed (TypeBXBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXXEXEXE f), Typed (TypeBXBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXXEXE f), Typed (TypeBBBXXEXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXXEXE f), Typed (TypeBBXXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXBXXEXEXE f), Typed (TypeBXXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXXEXE f), Typed (TypeBXBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEBXXEXEXE f), Typed (TypeBBXXEBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXXEXE f), Typed (TypeBBXXEXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXXEXE f), Typed (TypeBXXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBBXXEXEXEXE f), Typed (TypeXBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXXEXEXE f), Typed (TypeXBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXBXXEXEXE f), Typed (TypeXBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXXEXE f), Typed (TypeXBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXXEXE f), Typed (TypeXBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXXE f), Typed (TypeBBBXXEXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXXE f), Typed (TypeBBXXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXXE f), Typed (TypeBXBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXXE f), Typed (TypeBBXXEXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXXE f), Typed (TypeBXXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBBXXEXEXE f), Typed (TypeXXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXXEXE f), Typed (TypeXXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXXE f), Typed (TypeXBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXXE f), Typed (TypeXBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEBXXEXE f), Typed (TypeBBXXEXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXXE f), Typed (TypeBBXXEXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEBXXEXE f), Typed (TypeBXXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXXE f), Typed (TypeBXXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXBXXEXE f), Typed (TypeXXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXXE f), Typed (TypeXXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEBXXEXE f), Typed (TypeXBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXXE f), Typed (TypeXBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBBXXEXEXE f), Typed (TypeBXXEBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXXEXE f), Typed (TypeBXXEBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXBXXEXE f), Typed (TypeBXXEXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXXE f), Typed (TypeBXXEBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXXE f), Typed (TypeBXXEXXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXXE f), Typed (TypeXXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBBXXEXEXEXE f), Typed (TypeBBBXXEXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXXEXEXE f), Typed (TypeBBXXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXBXXEXEXE f), Typed (TypeBXBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXXEXE f), Typed (TypeBBXXEXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXXEXE f), Typed (TypeBXXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBBXXEXEXE f), Typed (TypeXBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXXEXE f), Typed (TypeXBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXXE f), Typed (TypeBBXXEXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXXE f), Typed (TypeBXXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXBXXEXE f), Typed (TypeXXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXXE f), Typed (TypeXBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEBXXEXE f), Typed (TypeBXXEBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXXE f), Typed (TypeBXXEXX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXXE f), Typed (TypeXXXX p)) => Typed (Type (f p)) | (Typed (TypeBBBXXEXEXE f), Typed (TypeBBXXEXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXXEXE f), Typed (TypeBXXXE p)) => Typed (Type (f p)) | (Typed (TypeBXBXXEXE f), Typed (TypeXBXXE p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXXE f), Typed (TypeBXXEX p)) => Typed (Type (f p)) | (Typed (TypeBXXXXE f), Typed (TypeXXX p)) => Typed (Type (f p)) | (Typed (TypeBBXXEXE f), Typed (TypeBXXE p)) => Typed (Type (f p)) | (Typed (TypeBXXXE f), Typed (TypeXX p)) => Typed (Type (f p)) | (Typed (TypeBXXE f), Typed (TypeX p)) => Typed (Type (f p)) | (Typed (TypeX f), Typed (Type p)) => Typed (Type (f p)) | Typed (Type IntSet) | TypeClass (Type t) |
|
|
|
|
An encapsulation of type with a kind * -> * .
| Constructors | | Instances | Typed (TypeX []) | Typed (TypeX Ratio) | Typed (TypeX IO) | (Typed (TypeBBBBBXXEXEXEXEXEX f), Typed (TypeBBBBXXEXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXXEXEXEXEX f), Typed (TypeBBBXXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXBXXEXEXEXEX f), Typed (TypeBBXBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXXEXEXEX f), Typed (TypeBBBXXEXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXXEXEXEX f), Typed (TypeBBXXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBBXXEXEXEXEX f), Typed (TypeBXBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXXEXEXEX f), Typed (TypeBXBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXXEXEX f), Typed (TypeBBBXXEXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXXEXEX f), Typed (TypeBBXXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXBXXEXEXEX f), Typed (TypeBXXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXXEXEX f), Typed (TypeBXBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEBXXEXEXEX f), Typed (TypeBBXXEBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXXEXEX f), Typed (TypeBBXXEXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXXEXEX f), Typed (TypeBXXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBBXXEXEXEXEX f), Typed (TypeXBBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXXEXEXEX f), Typed (TypeXBBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXBXXEXEXEX f), Typed (TypeXBXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXXEXEX f), Typed (TypeXBBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXXEXEX f), Typed (TypeXBXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXEXXEX f), Typed (TypeBBBXXEXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXEXXEX f), Typed (TypeBBXXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXEXXEX f), Typed (TypeBXBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXEXXEX f), Typed (TypeBBXXEXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXEXXEX f), Typed (TypeBXXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBBXXEXEXEX f), Typed (TypeXXBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXXEXEX f), Typed (TypeXXBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXEXXEX f), Typed (TypeXBBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXEXXEX f), Typed (TypeXBXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEBXXEXEX f), Typed (TypeBBXXEXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXXXEX f), Typed (TypeBBXXEXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEBXXEXEX f), Typed (TypeBXXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXXXEX f), Typed (TypeBXXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXBXXEXEX f), Typed (TypeXXXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXEXXEX f), Typed (TypeXXBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEBXXEXEX f), Typed (TypeXBXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXXXEX f), Typed (TypeXBXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBBXXEXEXEX f), Typed (TypeBXXEBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXXEXEX f), Typed (TypeBXXEBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXBXXEXEX f), Typed (TypeBXXEXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXEXXEX f), Typed (TypeBXXEBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXXXEX f), Typed (TypeBXXEXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXXXEX f), Typed (TypeXXXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBBXXEXEXEXEX f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXXEXEXEX f), Typed (TypeBBXXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXBXXEXEXEX f), Typed (TypeBXBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXXEXEX f), Typed (TypeBBXXEXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXXEXEX f), Typed (TypeBXXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBBXXEXEXEX f), Typed (TypeXBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXXEXEX f), Typed (TypeXBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXXEX f), Typed (TypeBBXXEXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXXEX f), Typed (TypeBXXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXBXXEXEX f), Typed (TypeXXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXXEX f), Typed (TypeXBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEBXXEXEX f), Typed (TypeBXXEBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXXEX f), Typed (TypeBXXEXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXXEX f), Typed (TypeXXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBBXXEXEXEX f), Typed (TypeBBXXEXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXXEXEX f), Typed (TypeBXXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXBXXEXEX f), Typed (TypeXBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXXEX f), Typed (TypeBXXEX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXXEX f), Typed (TypeXXX p)) => Typed (TypeX (f p)) | (Typed (TypeBBXXEXEX f), Typed (TypeBXXE p)) => Typed (TypeX (f p)) | (Typed (TypeBXXXEX f), Typed (TypeXX p)) => Typed (TypeX (f p)) | (Typed (TypeBXXEX f), Typed (TypeX p)) => Typed (TypeX (f p)) | (Typed (TypeXX f), Typed (Type p)) => Typed (TypeX (f p)) | Typed (TypeX Complex) | Typed (TypeX MVar) | Typed (TypeX IORef) | Typed (TypeX Maybe) | Typed (TypeX IntMap) | Typed (TypeX Tree) | Typed (TypeX Set) | Typed (TypeX Type) | TypeClass (TypeX t) |
|
|
|
|
An encapsulation of type with a kind * -> * -> * .
| Constructors | | Instances | Typed (TypeXX (->)) | Typed (TypeXX Either) | Typed (TypeXX (,)) | (Typed (TypeBBBBXXEXEXEXEXX f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXXEXEXEXX f), Typed (TypeBBXXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXBXXEXEXEXX f), Typed (TypeBXBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXXEXEXX f), Typed (TypeBBXXEXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXXEXEXX f), Typed (TypeBXXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBBXXEXEXEXX f), Typed (TypeXBBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXXEXEXX f), Typed (TypeXBXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXEXXEXX f), Typed (TypeBBXXEXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXEXXEXX f), Typed (TypeBXXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXBXXEXEXX f), Typed (TypeXXBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXEXXEXX f), Typed (TypeXBXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEBXXEXEXX f), Typed (TypeBXXEBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXXXEXX f), Typed (TypeBXXEXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXXXEXX f), Typed (TypeXXXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBBXXEXEXEXX f), Typed (TypeBBXXEXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXXEXEXX f), Typed (TypeBXXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXBXXEXEXX f), Typed (TypeXBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXXEXX f), Typed (TypeBXXEX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXXEXX f), Typed (TypeXXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBBXXEXEXX f), Typed (TypeBXXE p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXXEXX f), Typed (TypeXX p)) => Typed (TypeXX (f p)) | (Typed (TypeBXXEXX f), Typed (TypeX p)) => Typed (TypeXX (f p)) | (Typed (TypeXXX f), Typed (Type p)) => Typed (TypeXX (f p)) | Typed (TypeXX Map) | TypeClass (TypeXX t) |
|
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * .
| Constructors | | Instances | (Typed (TypeBBBBXXEXEXEXEBXXE f), Typed (TypeBBBXXEXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXXEXEXEBXXE f), Typed (TypeBBXXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXBXXEXEXEBXXE f), Typed (TypeBXBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXXEXEBXXE f), Typed (TypeBBXXEXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXXEXEBXXE f), Typed (TypeBXXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBBXXEXEXEBXXE f), Typed (TypeXBBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXXEXEBXXE f), Typed (TypeXBXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXEXXEBXXE f), Typed (TypeBBXXEXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXEXXEBXXE f), Typed (TypeBXXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXBXXEXEBXXE f), Typed (TypeXXBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXEXXEBXXE f), Typed (TypeXBXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEBXXEXEBXXE f), Typed (TypeBXXEBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXXXEBXXE f), Typed (TypeBXXEXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXXXEBXXE f), Typed (TypeXXXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBBXXEXEXEBXXE f), Typed (TypeBBXXEXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXXEXEBXXE f), Typed (TypeBXXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXBXXEXEBXXE f), Typed (TypeXBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXXEBXXE f), Typed (TypeBXXEX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXXEBXXE f), Typed (TypeXXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBBXXEXEBXXE f), Typed (TypeBXXE p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXXEBXXE f), Typed (TypeXX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeBXXEBXXE f), Typed (TypeX p)) => Typed (TypeBXXE (f p)) | (Typed (TypeXBXXE f), Typed (Type p)) => Typed (TypeBXXE (f p)) | Typed (TypeBXXE TypeX) | TypeClass (TypeBXXE t) |
|
|
|
|
An encapsulation of type with a kind * -> * -> * -> * .
| Constructors | | Instances | Typed (TypeXXX (,,)) | (Typed (TypeBBBXXEXEXEXXX f), Typed (TypeBBXXEXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXXEXEXXX f), Typed (TypeBXXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXBXXEXEXXX f), Typed (TypeXBXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXEXXEXXX f), Typed (TypeBXXEX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXXXEXXX f), Typed (TypeXXX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBBXXEXEXXX f), Typed (TypeBXXE p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXXEXXX f), Typed (TypeXX p)) => Typed (TypeXXX (f p)) | (Typed (TypeBXXEXXX f), Typed (TypeX p)) => Typed (TypeXXX (f p)) | (Typed (TypeXXXX f), Typed (Type p)) => Typed (TypeXXX (f p)) | TypeClass (TypeXXX t) |
|
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEXBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXEBXXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXEXBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXEBXXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBXXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXEXX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBBXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXXBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXBXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBBXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBXBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBBXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEXBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEXXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXBXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXXBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXBXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXEBBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * ) -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBXXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBBXXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEXBBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBBXXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBXBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBBXXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXEBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBXXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBBXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEXBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBBXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBXBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBBXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXEBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXEXX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEXBXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEXXBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBBXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEXBXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEXBBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBBXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBXBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBBXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXEBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXEBXXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXEXBXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXEBXXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXEBBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> * -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXEBXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXEXBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXEBXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXEBXXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXEXBXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXEBXXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXEBXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXEXBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXEBXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEXXX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEBXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEXBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEBXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXEBBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXXEXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXEXX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> * -> ( ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXXBBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXEXX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXEXX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXEXX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXEBXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEBXXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBXXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> * -> ( ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXXBBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXBXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEBXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEBXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEBXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXEXEXEXEX x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEBXXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEXBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEBXXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXEBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXXEBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEXXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBXXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( * -> ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBXBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind * -> ( ( * -> * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEXXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBXXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXXBXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBXXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBXBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXXXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBXBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeXBBBBBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind * -> ( ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXBXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXXBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXBXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXEBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEBXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEXBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEBXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXEBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEBXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEXBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEBXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXEBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEBXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEXBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEBXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXEBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEXXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> * -> ( * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXXBBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> * -> ( ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEXXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXEBXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> * -> ( * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXXBBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXEXEXEXXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( * -> ( * -> * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEXXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBXBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBXBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBXBBBBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
An encapsulation of type with a kind ( ( * -> * -> * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXEBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXXBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> * -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEXXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXEBXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXXBBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXEXEXXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBXBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBXBBBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEXXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXEBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXXBXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> * -> ( * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXEXXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * ) -> * -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBXBBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( * -> ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXXXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> * -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXEXXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * ) -> * -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBXBXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( * -> ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBXXXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( * -> * -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
data TypeBBBBBBXXEXEXEXEXEXE x | Source |
|
An encapsulation of type with a kind ( ( ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * ) -> * ) -> * .
| Constructors | | Instances | |
|
|
|
|
|
Given a Kind return the template haskell Name for the appropriate type encapsulator.
|
|
|
:: Name | The name of the type constructor.
| -> String | String describing the kind of the type constructors parameters.
| -> Q [Dec] | | Used to derive instances of typed.
data T1 = T1
$(deriveTyped ''T1 "")
data T2 p0 = T2
$(deriveTyped ''T2 "X")
data T3 ( p0 :: * -> * ) = T3
$(deriveTyped ''T2 "BXXE")
data T4 p0 p1 = T4
$(deriveTyped ''T2 "XX")
data T5 ( p0 :: ((* -> *) -> *) -> * ) ( p1 :: * -> * ) = T5
$(deriveTyped ''T2 "BBBXXEXEXEBXXE")
|
|
|
|
Same as deriveTyped but uses Kind.
|
|
|
:: String | The package name.
| -> Name | The type wrapper name.
| -> Name | The type whose instance is being derived.
| -> Q [Dec] | | Same as deriveTyped but package name and type wrapper name is given explicitly.
|
|
|
Produced by Haddock version 2.4.2 |