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

data Type x Source
An encapsulation of type with a kind * .
Constructors
Type
show/hide 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)
data TypeX x Source
An encapsulation of type with a kind * -> * .
Constructors
TypeX
show/hide 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)
data TypeXX x Source
An encapsulation of type with a kind * -> * -> * .
Constructors
TypeXX
show/hide 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)
data TypeBXXE x Source
An encapsulation of type with a kind ( * -> * ) -> * .
Constructors
TypeBXXE
show/hide 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)
data TypeXXX x Source
An encapsulation of type with a kind * -> * -> * -> * .
Constructors
TypeXXX
show/hide Instances
data TypeBXXEX x Source
An encapsulation of type with a kind ( * -> * ) -> * -> * .
Constructors
TypeBXXEX
show/hide Instances
data TypeXBXXE x Source
An encapsulation of type with a kind * -> ( * -> * ) -> * .
Constructors
TypeXBXXE
show/hide Instances
data TypeBXXXE x Source
An encapsulation of type with a kind ( * -> * -> * ) -> * .
Constructors
TypeBXXXE
show/hide Instances
data TypeBBXXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * .
Constructors
TypeBBXXEXE
show/hide Instances
data TypeXXXX x Source
An encapsulation of type with a kind * -> * -> * -> * -> * .
Constructors
TypeXXXX
show/hide Instances
data TypeBXXEXX x Source
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * .
Constructors
TypeBXXEXX
show/hide Instances
data TypeBXXEBXXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * .
Constructors
TypeBXXEBXXE
show/hide Instances
data TypeXBXXEX x Source
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * .
Constructors
TypeXBXXEX
show/hide Instances
data TypeXXBXXE x Source
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * .
Constructors
TypeXXBXXE
show/hide Instances
data TypeBXXXEX x Source
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * .
Constructors
TypeBXXXEX
show/hide Instances
data TypeBBXXEXEX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * .
Constructors
TypeBBXXEXEX
show/hide Instances
data TypeXBXXXE x Source
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * .
Constructors
TypeXBXXXE
show/hide Instances
data TypeXBBXXEXE x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeXBBXXEXE
show/hide Instances
data TypeBXXXXE x Source
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * .
Constructors
TypeBXXXXE
show/hide Instances
data TypeBBXXEXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * .
Constructors
TypeBBXXEXXE
show/hide Instances
data TypeBXBXXEXE x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * .
Constructors
TypeBXBXXEXE
show/hide Instances
data TypeBBXXXEXE x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * .
Constructors
TypeBBXXXEXE
show/hide Instances
data TypeBBBXXEXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBBXXEXEXE
show/hide Instances
data TypeXXXXX x Source
An encapsulation of type with a kind * -> * -> * -> * -> * -> * .
Constructors
TypeXXXXX
show/hide Instances
data TypeBXXEXXX x Source
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> * .
Constructors
TypeBXXEXXX
show/hide Instances
data TypeBXXEBXXEX x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> * .
Constructors
TypeBXXEBXXEX
show/hide Instances
data TypeBXXEXBXXE x Source
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> * .
Constructors
TypeBXXEXBXXE
show/hide Instances
data TypeBXXEBXXXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> * .
Constructors
TypeBXXEBXXXE
show/hide Instances
data TypeBXXEBBXXEXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeBXXEBBXXEXE
show/hide Instances
data TypeXBXXEXX x Source
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> * .
Constructors
TypeXBXXEXX
show/hide Instances
data TypeXBXXEBXXE x Source
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> * .
Constructors
TypeXBXXEBXXE
show/hide Instances
data TypeXXBXXEX x Source
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> * .
Constructors
TypeXXBXXEX
show/hide Instances
data TypeXXXBXXE x Source
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> * .
Constructors
TypeXXXBXXE
show/hide Instances
data TypeBXXXEXX x Source
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> * .
Constructors
TypeBXXXEXX
show/hide Instances
data TypeBXXXEBXXE x Source
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> * .
Constructors
TypeBXXXEBXXE
show/hide Instances
data TypeBBXXEXEXX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> * .
Constructors
TypeBBXXEXEXX
show/hide Instances
data TypeBBXXEXEBXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
Constructors
TypeBBXXEXEBXXE
show/hide Instances
data TypeXBXXXEX x Source
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> * .
Constructors
TypeXBXXXEX
show/hide Instances
data TypeXBBXXEXEX x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> * .
Constructors
TypeXBBXXEXEX
show/hide Instances
data TypeXXBXXXE x Source
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> * .
Constructors
TypeXXBXXXE
show/hide Instances
data TypeXXBBXXEXE x Source
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeXXBBXXEXE
show/hide Instances
data TypeBXXXXEX x Source
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> * .
Constructors
TypeBXXXXEX
show/hide Instances
data TypeBBXXEXXEX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> * .
Constructors
TypeBBXXEXXEX
show/hide Instances
data TypeBXBXXEXEX x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> * .
Constructors
TypeBXBXXEXEX
show/hide Instances
data TypeBBXXXEXEX x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> * .
Constructors
TypeBBXXXEXEX
show/hide Instances
data TypeBBBXXEXEXEX x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeBBBXXEXEXEX
show/hide Instances
data TypeXBXXXXE x Source
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> * .
Constructors
TypeXBXXXXE
show/hide Instances
data TypeXBBXXEXXE x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> * .
Constructors
TypeXBBXXEXXE
show/hide Instances
data TypeXBXBXXEXE x Source
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> * .
Constructors
TypeXBXBXXEXE
show/hide Instances
data TypeXBBXXXEXE x Source
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> * .
Constructors
TypeXBBXXXEXE
show/hide Instances
data TypeXBBBXXEXEXE x Source
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeXBBBXXEXEXE
show/hide Instances
data TypeBXXXXXE x Source
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> * .
Constructors
TypeBXXXXXE
show/hide Instances
data TypeBBXXEXXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> * .
Constructors
TypeBBXXEXXXE
show/hide Instances
data TypeBBXXEBXXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
Constructors
TypeBBXXEBXXEXE
show/hide Instances
data TypeBXBXXEXXE x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> * .
Constructors
TypeBXBXXEXXE
show/hide Instances
data TypeBXXBXXEXE x Source
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> * .
Constructors
TypeBXXBXXEXE
show/hide Instances
data TypeBBXXXEXXE x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> * .
Constructors
TypeBBXXXEXXE
show/hide Instances
data TypeBBBXXEXEXXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeBBBXXEXEXXE
show/hide Instances
data TypeBXBXXXEXE x Source
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> * .
Constructors
TypeBXBXXXEXE
show/hide Instances
data TypeBXBBXXEXEXE x Source
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXBBXXEXEXE
show/hide Instances
data TypeBBXXXXEXE x Source
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> * .
Constructors
TypeBBXXXXEXE
show/hide Instances
data TypeBBBXXEXXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
Constructors
TypeBBBXXEXXEXE
show/hide Instances
data TypeBBXBXXEXEXE x Source
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBXBXXEXEXE
show/hide Instances
data TypeBBBXXXEXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBBXXXEXEXE
show/hide Instances
data TypeBBBBXXEXEXEXE x Source
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBBBXXEXEXEXE
show/hide Instances
data TypeXXXXXX x Source
An encapsulation of type with a kind * -> * -> * -> * -> * -> * -> * .
Constructors
TypeXXXXXX
show/hide Instances
data TypeBXXEXXXX x Source
An encapsulation of type with a kind ( * -> * ) -> * -> * -> * -> * -> * .
Constructors
TypeBXXEXXXX
show/hide Instances
data TypeBXXEBXXEXX x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> * -> * -> * .
Constructors
TypeBXXEBXXEXX
show/hide Instances
data TypeBXXEBXXEBXXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * ) -> ( * -> * ) -> * .
Constructors
TypeBXXEBXXEBXXE
show/hide Instances
data TypeBXXEXBXXEX x Source
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * ) -> * -> * .
Constructors
TypeBXXEXBXXEX
show/hide Instances
data TypeBXXEXXBXXE x Source
An encapsulation of type with a kind ( * -> * ) -> * -> * -> ( * -> * ) -> * .
Constructors
TypeBXXEXXBXXE
show/hide Instances
data TypeBXXEBXXXEX x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * ) -> * -> * .
Constructors
TypeBXXEBXXXEX
show/hide Instances
data TypeBXXEBBXXEXEX x Source
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * ) -> * -> * .
Constructors
TypeBXXEBBXXEXEX
show/hide Instances
data TypeBXXEXBXXXE x Source
An encapsulation of type with a kind ( * -> * ) -> * -> ( * -> * -> * ) -> * .
Constructors
TypeBXXEXBXXXE
show/hide Instances
data TypeBXXEXBBXXEXE x Source
An encapsulation of type with a kind ( * -> * ) -> * -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeBXXEXBBXXEXE
show/hide Instances
data TypeBXXEBXXXXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> * -> * -> * ) -> * .
Constructors
TypeBXXEBXXXXE
show/hide Instances
data TypeBXXEBBXXEXXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * ) -> * -> * ) -> * .
Constructors
TypeBXXEBBXXEXXE
show/hide Instances
data TypeBXXEBXBXXEXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( * -> ( * -> * ) -> * ) -> * .
Constructors
TypeBXXEBXBXXEXE
show/hide Instances
data TypeBXXEBBXXXEXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( ( * -> * -> * ) -> * ) -> * .
Constructors
TypeBXXEBBXXXEXE
show/hide Instances
data TypeBXXEBBBXXEXEXE x Source
An encapsulation of type with a kind ( * -> * ) -> ( ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXXEBBBXXEXEXE
show/hide Instances
data TypeXBXXEXXX x Source
An encapsulation of type with a kind * -> ( * -> * ) -> * -> * -> * -> * .
Constructors
TypeXBXXEXXX
show/hide Instances
data TypeXBXXEBXXEX x Source
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * ) -> * -> * .
Constructors
TypeXBXXEBXXEX
show/hide Instances
data TypeXBXXEXBXXE x Source
An encapsulation of type with a kind * -> ( * -> * ) -> * -> ( * -> * ) -> * .
Constructors
TypeXBXXEXBXXE
show/hide Instances
data TypeXBXXEBXXXE x Source
An encapsulation of type with a kind * -> ( * -> * ) -> ( * -> * -> * ) -> * .
Constructors
TypeXBXXEBXXXE
show/hide Instances
data TypeXBXXEBBXXEXE x Source
An encapsulation of type with a kind * -> ( * -> * ) -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeXBXXEBBXXEXE
show/hide Instances
data TypeXXBXXEXX x Source
An encapsulation of type with a kind * -> * -> ( * -> * ) -> * -> * -> * .
Constructors
TypeXXBXXEXX
show/hide Instances
data TypeXXBXXEBXXE x Source
An encapsulation of type with a kind * -> * -> ( * -> * ) -> ( * -> * ) -> * .
Constructors
TypeXXBXXEBXXE
show/hide Instances
data TypeXXXBXXEX x Source
An encapsulation of type with a kind * -> * -> * -> ( * -> * ) -> * -> * .
Constructors
TypeXXXBXXEX
show/hide Instances
data TypeXXXXBXXE x Source
An encapsulation of type with a kind * -> * -> * -> * -> ( * -> * ) -> * .
Constructors
TypeXXXXBXXE
show/hide Instances
data TypeBXXXEXXX x Source
An encapsulation of type with a kind ( * -> * -> * ) -> * -> * -> * -> * .
Constructors
TypeBXXXEXXX
show/hide Instances
data TypeBXXXEBXXEX x Source
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * ) -> * -> * .
Constructors
TypeBXXXEBXXEX
show/hide Instances
data TypeBXXXEXBXXE x Source
An encapsulation of type with a kind ( * -> * -> * ) -> * -> ( * -> * ) -> * .
Constructors
TypeBXXXEXBXXE
show/hide Instances
data TypeBXXXEBXXXE x Source
An encapsulation of type with a kind ( * -> * -> * ) -> ( * -> * -> * ) -> * .
Constructors
TypeBXXXEBXXXE
show/hide Instances
data TypeBXXXEBBXXEXE x Source
An encapsulation of type with a kind ( * -> * -> * ) -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeBXXXEBBXXEXE
show/hide Instances
data TypeBBXXEXEXXX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> * -> * -> * .
Constructors
TypeBBXXEXEXXX
show/hide Instances
data TypeBBXXEXEBXXEX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * ) -> * -> * .
Constructors
TypeBBXXEXEBXXEX
show/hide Instances
data TypeBBXXEXEXBXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> * -> ( * -> * ) -> * .
Constructors
TypeBBXXEXEXBXXE
show/hide Instances
data TypeBBXXEXEBXXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( * -> * -> * ) -> * .
Constructors
TypeBBXXEXEBXXXE
show/hide Instances
data TypeBBXXEXEBBXXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * ) -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeBBXXEXEBBXXEXE
show/hide Instances
data TypeXBXXXEXX x Source
An encapsulation of type with a kind * -> ( * -> * -> * ) -> * -> * -> * .
Constructors
TypeXBXXXEXX
show/hide Instances
data TypeXBXXXEBXXE x Source
An encapsulation of type with a kind * -> ( * -> * -> * ) -> ( * -> * ) -> * .
Constructors
TypeXBXXXEBXXE
show/hide Instances
data TypeXBBXXEXEXX x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> * -> * -> * .
Constructors
TypeXBBXXEXEXX
show/hide Instances
data TypeXBBXXEXEBXXE x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * ) -> ( * -> * ) -> * .
Constructors
TypeXBBXXEXEBXXE
show/hide Instances
data TypeXXBXXXEX x Source
An encapsulation of type with a kind * -> * -> ( * -> * -> * ) -> * -> * .
Constructors
TypeXXBXXXEX
show/hide Instances
data TypeXXBBXXEXEX x Source
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * ) -> * -> * .
Constructors
TypeXXBBXXEXEX
show/hide Instances
data TypeXXXBXXXE x Source
An encapsulation of type with a kind * -> * -> * -> ( * -> * -> * ) -> * .
Constructors
TypeXXXBXXXE
show/hide Instances
data TypeXXXBBXXEXE x Source
An encapsulation of type with a kind * -> * -> * -> ( ( * -> * ) -> * ) -> * .
Constructors
TypeXXXBBXXEXE
show/hide Instances
data TypeBXXXXEXX x Source
An encapsulation of type with a kind ( * -> * -> * -> * ) -> * -> * -> * .
Constructors
TypeBXXXXEXX
show/hide Instances
data TypeBXXXXEBXXE x Source
An encapsulation of type with a kind ( * -> * -> * -> * ) -> ( * -> * ) -> * .
Constructors
TypeBXXXXEBXXE
show/hide Instances
data TypeBBXXEXXEXX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> * -> * -> * .
Constructors
TypeBBXXEXXEXX
show/hide Instances
data TypeBBXXEXXEBXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * ) -> ( * -> * ) -> * .
Constructors
TypeBBXXEXXEBXXE
show/hide Instances
data TypeBXBXXEXEXX x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> * -> * -> * .
Constructors
TypeBXBXXEXEXX
show/hide Instances
data TypeBXBXXEXEBXXE x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * ) -> ( * -> * ) -> * .
Constructors
TypeBXBXXEXEBXXE
show/hide Instances
data TypeBBXXXEXEXX x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> * -> * -> * .
Constructors
TypeBBXXXEXEXX
show/hide Instances
data TypeBBXXXEXEBXXE x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * ) -> ( * -> * ) -> * .
Constructors
TypeBBXXXEXEBXXE
show/hide Instances
data TypeBBBXXEXEXEXX x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> * -> * -> * .
Constructors
TypeBBBXXEXEXEXX
show/hide Instances
data TypeBBBXXEXEXEBXXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * ) -> ( * -> * ) -> * .
Constructors
TypeBBBXXEXEXEBXXE
show/hide Instances
data TypeXBXXXXEX x Source
An encapsulation of type with a kind * -> ( * -> * -> * -> * ) -> * -> * .
Constructors
TypeXBXXXXEX
show/hide Instances
data TypeXBBXXEXXEX x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * ) -> * -> * .
Constructors
TypeXBBXXEXXEX
show/hide Instances
data TypeXBXBXXEXEX x Source
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * ) -> * -> * .
Constructors
TypeXBXBXXEXEX
show/hide Instances
data TypeXBBXXXEXEX x Source
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * ) -> * -> * .
Constructors
TypeXBBXXXEXEX
show/hide Instances
data TypeXBBBXXEXEXEX x Source
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeXBBBXXEXEXEX
show/hide Instances
data TypeXXBXXXXE x Source
An encapsulation of type with a kind * -> * -> ( * -> * -> * -> * ) -> * .
Constructors
TypeXXBXXXXE
show/hide Instances
data TypeXXBBXXEXXE x Source
An encapsulation of type with a kind * -> * -> ( ( * -> * ) -> * -> * ) -> * .
Constructors
TypeXXBBXXEXXE
show/hide Instances
data TypeXXBXBXXEXE x Source
An encapsulation of type with a kind * -> * -> ( * -> ( * -> * ) -> * ) -> * .
Constructors
TypeXXBXBXXEXE
show/hide Instances
data TypeXXBBXXXEXE x Source
An encapsulation of type with a kind * -> * -> ( ( * -> * -> * ) -> * ) -> * .
Constructors
TypeXXBBXXXEXE
show/hide Instances
data TypeXXBBBXXEXEXE x Source
An encapsulation of type with a kind * -> * -> ( ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeXXBBBXXEXEXE
show/hide Instances
data TypeBXXXXXEX x Source
An encapsulation of type with a kind ( * -> * -> * -> * -> * ) -> * -> * .
Constructors
TypeBXXXXXEX
show/hide Instances
data TypeBBXXEXXXEX x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * ) -> * -> * .
Constructors
TypeBBXXEXXXEX
show/hide Instances
data TypeBBXXEBXXEXEX x Source
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * ) -> * -> * .
Constructors
TypeBBXXEBXXEXEX
show/hide Instances
data TypeBXBXXEXXEX x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * ) -> * -> * .
Constructors
TypeBXBXXEXXEX
show/hide Instances
data TypeBXXBXXEXEX x Source
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * ) -> * -> * .
Constructors
TypeBXXBXXEXEX
show/hide Instances
data TypeBBXXXEXXEX x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * ) -> * -> * .
Constructors
TypeBBXXXEXXEX
show/hide Instances
data TypeBBBXXEXEXXEX x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * ) -> * -> * .
Constructors
TypeBBBXXEXEXXEX
show/hide Instances
data TypeBXBXXXEXEX x Source
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * ) -> * -> * .
Constructors
TypeBXBXXXEXEX
show/hide Instances
data TypeBXBBXXEXEXEX x Source
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeBXBBXXEXEXEX
show/hide Instances
data TypeBBXXXXEXEX x Source
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * ) -> * -> * .
Constructors
TypeBBXXXXEXEX
show/hide Instances
data TypeBBBXXEXXEXEX x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * ) -> * -> * .
Constructors
TypeBBBXXEXXEXEX
show/hide Instances
data TypeBBXBXXEXEXEX x Source
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeBBXBXXEXEXEX
show/hide Instances
data TypeBBBXXXEXEXEX x Source
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeBBBXXXEXEXEX
show/hide Instances
data TypeBBBBXXEXEXEXEX x Source
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * -> * .
Constructors
TypeBBBBXXEXEXEXEX
show/hide Instances
data TypeXBXXXXXE x Source
An encapsulation of type with a kind * -> ( * -> * -> * -> * -> * ) -> * .
Constructors
TypeXBXXXXXE
show/hide Instances
data TypeXBBXXEXXXE x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> * -> * -> * ) -> * .
Constructors
TypeXBBXXEXXXE
show/hide Instances
data TypeXBBXXEBXXEXE x Source
An encapsulation of type with a kind * -> ( ( * -> * ) -> ( * -> * ) -> * ) -> * .
Constructors
TypeXBBXXEBXXEXE
show/hide Instances
data TypeXBXBXXEXXE x Source
An encapsulation of type with a kind * -> ( * -> ( * -> * ) -> * -> * ) -> * .
Constructors
TypeXBXBXXEXXE
show/hide Instances
data TypeXBXXBXXEXE x Source
An encapsulation of type with a kind * -> ( * -> * -> ( * -> * ) -> * ) -> * .
Constructors
TypeXBXXBXXEXE
show/hide Instances
data TypeXBBXXXEXXE x Source
An encapsulation of type with a kind * -> ( ( * -> * -> * ) -> * -> * ) -> * .
Constructors
TypeXBBXXXEXXE
show/hide Instances
data TypeXBBBXXEXEXXE x Source
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeXBBBXXEXEXXE
show/hide Instances
data TypeXBXBXXXEXE x Source
An encapsulation of type with a kind * -> ( * -> ( * -> * -> * ) -> * ) -> * .
Constructors
TypeXBXBXXXEXE
show/hide Instances
data TypeXBXBBXXEXEXE x Source
An encapsulation of type with a kind * -> ( * -> ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeXBXBBXXEXEXE
show/hide Instances
data TypeXBBXXXXEXE x Source
An encapsulation of type with a kind * -> ( ( * -> * -> * -> * ) -> * ) -> * .
Constructors
TypeXBBXXXXEXE
show/hide Instances
data TypeXBBBXXEXXEXE x Source
An encapsulation of type with a kind * -> ( ( ( * -> * ) -> * -> * ) -> * ) -> * .
Constructors
TypeXBBBXXEXXEXE
show/hide Instances
data TypeXBBXBXXEXEXE x Source
An encapsulation of type with a kind * -> ( ( * -> ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeXBBXBXXEXEXE
show/hide Instances
data TypeXBBBXXXEXEXE x Source
An encapsulation of type with a kind * -> ( ( ( * -> * -> * ) -> * ) -> * ) -> * .
Constructors
TypeXBBBXXXEXEXE
show/hide Instances
data TypeXBBBBXXEXEXEXE x Source
An encapsulation of type with a kind * -> ( ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
Constructors
TypeXBBBBXXEXEXEXE
show/hide Instances
data TypeBXXXXXXE x Source
An encapsulation of type with a kind ( * -> * -> * -> * -> * -> * ) -> * .
Constructors
TypeBXXXXXXE
show/hide Instances
data TypeBBXXEXXXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> * -> * -> * ) -> * .
Constructors
TypeBBXXEXXXXE
show/hide Instances
data TypeBBXXEBXXEXXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * ) -> * -> * ) -> * .
Constructors
TypeBBXXEBXXEXXE
show/hide Instances
data TypeBBXXEXBXXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> * -> ( * -> * ) -> * ) -> * .
Constructors
TypeBBXXEXBXXEXE
show/hide Instances
data TypeBBXXEBXXXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> ( * -> * -> * ) -> * ) -> * .
Constructors
TypeBBXXEBXXXEXE
show/hide Instances
data TypeBBXXEBBXXEXEXE x Source
An encapsulation of type with a kind ( ( * -> * ) -> ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBXXEBBXXEXEXE
show/hide Instances
data TypeBXBXXEXXXE x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> * -> * -> * ) -> * .
Constructors
TypeBXBXXEXXXE
show/hide Instances
data TypeBXBXXEBXXEXE x Source
An encapsulation of type with a kind ( * -> ( * -> * ) -> ( * -> * ) -> * ) -> * .
Constructors
TypeBXBXXEBXXEXE
show/hide Instances
data TypeBXXBXXEXXE x Source
An encapsulation of type with a kind ( * -> * -> ( * -> * ) -> * -> * ) -> * .
Constructors
TypeBXXBXXEXXE
show/hide Instances
data TypeBXXXBXXEXE x Source
An encapsulation of type with a kind ( * -> * -> * -> ( * -> * ) -> * ) -> * .
Constructors
TypeBXXXBXXEXE
show/hide Instances
data TypeBBXXXEXXXE x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> * -> * -> * ) -> * .
Constructors
TypeBBXXXEXXXE
show/hide Instances
data TypeBBXXXEBXXEXE x Source
An encapsulation of type with a kind ( ( * -> * -> * ) -> ( * -> * ) -> * ) -> * .
Constructors
TypeBBXXXEBXXEXE
show/hide Instances
data TypeBBBXXEXEXXXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> * -> * -> * ) -> * .
Constructors
TypeBBBXXEXEXXXE
show/hide Instances
data TypeBBBXXEXEBXXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * ) -> ( * -> * ) -> * ) -> * .
Constructors
TypeBBBXXEXEBXXEXE
show/hide Instances
data TypeBXBXXXEXXE x Source
An encapsulation of type with a kind ( * -> ( * -> * -> * ) -> * -> * ) -> * .
Constructors
TypeBXBXXXEXXE
show/hide Instances
data TypeBXBBXXEXEXXE x Source
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeBXBBXXEXEXXE
show/hide Instances
data TypeBXXBXXXEXE x Source
An encapsulation of type with a kind ( * -> * -> ( * -> * -> * ) -> * ) -> * .
Constructors
TypeBXXBXXXEXE
show/hide Instances
data TypeBXXBBXXEXEXE x Source
An encapsulation of type with a kind ( * -> * -> ( ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXXBBXXEXEXE
show/hide Instances
data TypeBBXXXXEXXE x Source
An encapsulation of type with a kind ( ( * -> * -> * -> * ) -> * -> * ) -> * .
Constructors
TypeBBXXXXEXXE
show/hide Instances
data TypeBBBXXEXXEXXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * ) -> * -> * ) -> * .
Constructors
TypeBBBXXEXXEXXE
show/hide Instances
data TypeBBXBXXEXEXXE x Source
An encapsulation of type with a kind ( ( * -> ( * -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeBBXBXXEXEXXE
show/hide Instances
data TypeBBBXXXEXEXXE x Source
An encapsulation of type with a kind ( ( ( * -> * -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeBBBXXXEXEXXE
show/hide Instances
data TypeBBBBXXEXEXEXXE x Source
An encapsulation of type with a kind ( ( ( ( * -> * ) -> * ) -> * ) -> * -> * ) -> * .
Constructors
TypeBBBBXXEXEXEXXE
show/hide Instances
data TypeBXBXXXXEXE x Source
An encapsulation of type with a kind ( * -> ( * -> * -> * -> * ) -> * ) -> * .
Constructors
TypeBXBXXXXEXE
show/hide Instances
data TypeBXBBXXEXXEXE x Source
An encapsulation of type with a kind ( * -> ( ( * -> * ) -> * -> * ) -> * ) -> * .
Constructors
TypeBXBBXXEXXEXE
show/hide Instances
data TypeBXBXBXXEXEXE x Source
An encapsulation of type with a kind ( * -> ( * -> ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXBXBXXEXEXE
show/hide Instances
data TypeBXBBXXXEXEXE x Source
An encapsulation of type with a kind ( * -> ( ( * -> * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXBBXXXEXEXE
show/hide Instances
data TypeBXBBBXXEXEXEXE x Source
An encapsulation of type with a kind ( * -> ( ( ( * -> * ) -> * ) -> * ) -> * ) -> * .
Constructors
TypeBXBBBXXEXEXEXE
show/hide Instances
data TypeBBXXXXXEXE x Source
An encapsulation of type with a kind ( ( * -> * -> * -> * -> * ) -> * ) -> * .
Constructors
TypeBBXXXXXEXE
show/hide Instances
data TypeBBBXXEXXXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> * -> * -> * ) -> * ) -> * .
Constructors
TypeBBBXXEXXXEXE
show/hide Instances
data TypeBBBXXEBXXEXEXE x Source
An encapsulation of type with a kind ( ( ( * -> * ) -> ( * -> * ) -> * ) -> * ) -> * .
Constructors
TypeBBBXXEBXXEXEXE
show/hide Instances
data TypeBBXBXXEXXEXE x Source