-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Dynamic casting library with support for arbitrary rank type kinds.
--   
--   By default kinds which contains maximum of 8 stars (*) are supported,
--   for example: <tt>* -&gt; (* -&gt; *) -&gt; ((* -&gt; *) -&gt; *) -&gt;
--   * -&gt; *</tt>. By recompiling the library one can support even more
--   complex types. However be aware that the amount of code generated
--   increases exponentially.
@package type
@version 0.2.0


-- | Algorithms and operations on type kinds.
module Data.Type.Kind
data Kind :: *
StarK :: Kind
ArrowK :: Kind -> Kind -> Kind

-- | Counts the number of <a>StarK</a>s in a <a>Kind</a>.
kindStars :: Kind -> Int

-- | Adds <tt> -&gt; * </tt> to the end of a <a>Kind</a>.
--   
--   <pre>
--               * ==&gt; * -&gt; *
--          * -&gt; * ==&gt; * -&gt; * -&gt; *
--   (* -&gt; *) -&gt; * ==&gt; (* -&gt; *) -&gt; * -&gt; *
--   </pre>
succKind :: Kind -> Kind

-- | Transforms from <tt>k</tt> to <tt> k -&gt; * </tt>.
--   
--   <pre>
--               * ==&gt; * -&gt; *
--          * -&gt; * ==&gt; (* -&gt; *) -&gt; *
--   (* -&gt; *) -&gt; * ==&gt; ((* -&gt; *) -&gt; *) -&gt; *
--   </pre>
recurseKind :: Kind -> Kind

-- | Extract the parameters of a <a>Kind</a>. Reverse of
--   <a>fromParameters</a>.
toParameters :: Kind -> [Kind]

-- | Combine parameter to form a type constructors <a>Kind</a>. Reverse of
--   <a>toParameters</a>.
fromParameters :: [Kind] -> Kind

-- | Get a kind signature from a <a>Kind</a>.
kindSignature :: Kind -> String

-- | Get the bastard string representation of a <a>Kind</a>.
kindName :: Kind -> String

-- | Read the bastard string representation to <a>Kind</a>.
readKindName :: String -> Kind

-- | Generates all possible <a>Kind</a>s given the maximum <a>StarK</a>s
--   allowed.
--   
--   <pre>
--   1:1 1
--   *
--   
--   2:1 2
--   *-&gt;*
--   
--   3:2 4
--   *-&gt;*-&gt;*
--   (*-&gt;*)-&gt;*
--   
--   4:5 9
--   *-&gt;*-&gt;*-&gt;*
--   (*-&gt;*)-&gt;*-&gt;*
--   *-&gt;(*-&gt;*)-&gt;*
--   (*-&gt;*-&gt;*)-&gt;*
--   ((*-&gt;*)-&gt;*)-&gt;*
--   
--   5:14 23
--   *-&gt;*-&gt;*-&gt;*-&gt;*
--   (*-&gt;*)-&gt;(*-&gt;*)-&gt;*
--   (*-&gt;*)-&gt;*-&gt;*-&gt;*
--   *-&gt;(*-&gt;*)-&gt;*-&gt;*
--   *-&gt;*-&gt;(*-&gt;*)-&gt;*
--   (*-&gt;*-&gt;*)-&gt;*-&gt;*
--   ((*-&gt;*)-&gt;*)-&gt;*-&gt;*
--   *-&gt;(*-&gt;*-&gt;*)-&gt;*
--   *-&gt;((*-&gt;*)-&gt;*)-&gt;*
--   (*-&gt;*-&gt;*-&gt;*)-&gt;*
--   ((*-&gt;*)-&gt;*-&gt;*)-&gt;*
--   (*-&gt;(*-&gt;*)-&gt;*)-&gt;*
--   ((*-&gt;*-&gt;*)-&gt;*)-&gt;*
--   (((*-&gt;*)-&gt;*)-&gt;*)-&gt;*
--   </pre>
--   
--   The series continues: 1,1,2,5,14,42,132,429,1430,4862,...
generateKinds :: Int -> [Kind]
instance Lift Kind


-- | Contains functions to help making Typeable instances from Meta
--   instances.
--   
--   Warning: The <a>TypeRep</a> is derived from the <a>Meta</a> instances
--   even if they might have a Typeable instance. These functions use
--   non-qualified names to make up the <a>TypeRep</a>s, which seems to be
--   common.
module Data.Type.Typeable

-- | Used to derive instances of the <a>Typeable</a> classes from the
--   <a>Meta</a> classes. Requires the ScopedTypeVariables language option.
--   
--   <pre>
--   import Data.Type
--   import Data.Type.Typeable
--   
--   data T (m :: * -&gt; *) a = ...
--   deriveMeta ''T
--   deriveTypeableFromMeta ''T
--   </pre>
--   
--   Yields a <a>Typeable</a> instance like:
--   
--   <pre>
--   instance (MetaX m) =&gt; Typeable1 (T m) where
--     ...
--   </pre>
--   
--   The template haskell funtions in this module expect to find symbols
--   exported from <tt>Data.Type</tt> module under <tt>Data.Type</tt>. Thus
--   change:
--   
--   <pre>
--   import qualified Data.Type as T
--   </pre>
--   
--   Into:
--   
--   <pre>
--   import qualified Data.Type
--   import qualified Data.Type as T
--   </pre>
--   
--   It would be possible to drop this requirement, but currently not
--   without bloating the library unnecessarily.
deriveTypeableFromMeta :: Name -> Q [Dec]

-- | Used internally to declare instances of the <a>Typeable</a> classes
--   from the <a>Meta</a> classes.
declareTypeableFromMeta :: Kind -> Name -> Q [Dec]

-- | Used internally to convert <a>TypeID</a>s to <a>TypeRep</a>s. Gives
--   non-qualified names to <a>mkTyCon</a>.
convertTypeIDToTypeRep :: TypeID -> TypeRep


-- | Collection of dynamic type meta data and casting utilities.
--   
--   The template haskell funtions in this module expect to find symbols
--   exported from this module under <tt>Data.Type</tt>. Thus change:
--   
--   <pre>
--   import qualified Data.Type as T
--   </pre>
--   
--   Into:
--   
--   <pre>
--   import qualified Data.Type
--   import qualified Data.Type as T
--   </pre>
--   
--   It would be possible to drop this requirement, but currently not
--   without bloating the library unnecessarily.
--   
--   <pre>
--   import Data.Type
--   
--   newtype T m a = T (m a)
--   deriveMeta ''T
--   
--   hello = cast . T $ print "Hello world" :: Meta a =&gt; Maybe a
--   main = case hello of
--     Just (T m) -&gt; m
--     _          -&gt; print "Impossible!"
--   </pre>
--   
--   Will print <tt><a>Hello world</a></tt>.
module Data.Type

-- | An unique identifier for types. The order given is arbitrary but
--   stable during program execution.
data TypeID

-- | Used internally when defining instances of the <tt>Meta</tt> classes.
makeTypeID :: String -> String -> String -> TypeID

-- | Used internally when defining instances of the <tt>Meta</tt> classes.
applyTypeID :: TypeID -> TypeID -> TypeID

-- | Used mainly internally, but may be useful for defining custom
--   <a>show</a> like functions for <a>TypeID</a>s.
--   
--   Extracts the raw data that was used to construct <a>TypeID</a>s.
mapTypeID :: (String -> String -> String -> r) -> (r -> r -> r) -> TypeID -> r

-- | The maximum number of <a>StarK</a>s in <a>Kind</a>s this library was
--   compiled to handle.
kindStarLimit :: Int
typeOf :: t -> Type t
cast :: (Meta f, Meta t) => f -> Maybe t
coerce :: (Meta f, Meta t) => f -> t

-- | Used to derive instances of the <tt>Meta</tt> classes.
--   
--   <pre>
--   data T ...
--   deriveMeta ''T
--   </pre>
deriveMeta :: Name -> Q [Dec]

-- | Used internally to declare instances of the <tt>Meta</tt> classes for
--   some primitives.
declareMeta :: Kind -> Name -> Q [Dec]
data TypeBBBBBBXXEXEXEXEXEXE t :: (((((((* -> *) -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBBBBBXXEXEXEXEXEXE :: TypeBBBBBBXXEXEXEXEXEXE
data TypeBBBBBXXXEXEXEXEXE t :: ((((((* -> * -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBBBBXXXEXEXEXEXE :: TypeBBBBBXXXEXEXEXEXE
data TypeBBBBXBXXEXEXEXEXE t :: (((((* -> (* -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBBBXBXXEXEXEXEXE :: TypeBBBBXBXXEXEXEXEXE
data TypeBBBBBXXEXXEXEXEXE t :: ((((((* -> *) -> * -> *) -> *) -> *) -> *) -> *)
TypeBBBBBXXEXXEXEXEXE :: TypeBBBBBXXEXXEXEXEXE
data TypeBBBBXXXXEXEXEXE t :: (((((* -> * -> * -> *) -> *) -> *) -> *) -> *)
TypeBBBBXXXXEXEXEXE :: TypeBBBBXXXXEXEXEXE
data TypeBBBXBBXXEXEXEXEXE t :: ((((* -> ((* -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBBXBBXXEXEXEXEXE :: TypeBBBXBBXXEXEXEXEXE
data TypeBBBXBXXXEXEXEXE t :: ((((* -> (* -> * -> *) -> *) -> *) -> *) -> *)
TypeBBBXBXXXEXEXEXE :: TypeBBBXBXXXEXEXEXE
data TypeBBBBBXXEXEXXEXEXE t :: ((((((* -> *) -> *) -> * -> *) -> *) -> *) -> *)
TypeBBBBBXXEXEXXEXEXE :: TypeBBBBBXXEXEXXEXEXE
data TypeBBBBXXXEXXEXEXE t :: (((((* -> * -> *) -> * -> *) -> *) -> *) -> *)
TypeBBBBXXXEXXEXEXE :: TypeBBBBXXXEXXEXEXE
data TypeBBBXXBXXEXEXEXE t :: ((((* -> * -> (* -> *) -> *) -> *) -> *) -> *)
TypeBBBXXBXXEXEXEXE :: TypeBBBXXBXXEXEXEXE
data TypeBBBXBXXEXXEXEXE t :: ((((* -> (* -> *) -> * -> *) -> *) -> *) -> *)
TypeBBBXBXXEXXEXEXE :: TypeBBBXBXXEXXEXEXE
data TypeBBBBXXEBXXEXEXEXE t :: (((((* -> *) -> (* -> *) -> *) -> *) -> *) -> *)
TypeBBBBXXEBXXEXEXEXE :: TypeBBBBXXEBXXEXEXEXE
data TypeBBBBXXEXXXEXEXE t :: (((((* -> *) -> * -> * -> *) -> *) -> *) -> *)
TypeBBBBXXEXXXEXEXE :: TypeBBBBXXEXXXEXEXE
data TypeBBBXXXXXEXEXE t :: ((((* -> * -> * -> * -> *) -> *) -> *) -> *)
TypeBBBXXXXXEXEXE :: TypeBBBXXXXXEXEXE
data TypeBBXBBBXXEXEXEXEXE t :: (((* -> (((* -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBXBBBXXEXEXEXEXE :: TypeBBXBBBXXEXEXEXEXE
data TypeBBXBBXXXEXEXEXE t :: (((* -> ((* -> * -> *) -> *) -> *) -> *) -> *)
TypeBBXBBXXXEXEXEXE :: TypeBBXBBXXXEXEXEXE
data TypeBBXBXBXXEXEXEXE t :: (((* -> (* -> (* -> *) -> *) -> *) -> *) -> *)
TypeBBXBXBXXEXEXEXE :: TypeBBXBXBXXEXEXEXE
data TypeBBXBBXXEXXEXEXE t :: (((* -> ((* -> *) -> * -> *) -> *) -> *) -> *)
TypeBBXBBXXEXXEXEXE :: TypeBBXBBXXEXXEXEXE
data TypeBBXBXXXXEXEXE t :: (((* -> (* -> * -> * -> *) -> *) -> *) -> *)
TypeBBXBXXXXEXEXE :: TypeBBXBXXXXEXEXE
data TypeBBBBBXXEXEXEXXEXE t :: ((((((* -> *) -> *) -> *) -> * -> *) -> *) -> *)
TypeBBBBBXXEXEXEXXEXE :: TypeBBBBBXXEXEXEXXEXE
data TypeBBBBXXXEXEXXEXE t :: (((((* -> * -> *) -> *) -> * -> *) -> *) -> *)
TypeBBBBXXXEXEXXEXE :: TypeBBBBXXXEXEXXEXE
data TypeBBBXBXXEXEXXEXE t :: ((((* -> (* -> *) -> *) -> * -> *) -> *) -> *)
TypeBBBXBXXEXEXXEXE :: TypeBBBXBXXEXEXXEXE
data TypeBBBBXXEXXEXXEXE t :: (((((* -> *) -> * -> *) -> * -> *) -> *) -> *)
TypeBBBBXXEXXEXXEXE :: TypeBBBBXXEXXEXXEXE
data TypeBBBXXXXEXXEXE t :: ((((* -> * -> * -> *) -> * -> *) -> *) -> *)
TypeBBBXXXXEXXEXE :: TypeBBBXXXXEXXEXE
data TypeBBXXBBXXEXEXEXE t :: (((* -> * -> ((* -> *) -> *) -> *) -> *) -> *)
TypeBBXXBBXXEXEXEXE :: TypeBBXXBBXXEXEXEXE
data TypeBBXXBXXXEXEXE t :: (((* -> * -> (* -> * -> *) -> *) -> *) -> *)
TypeBBXXBXXXEXEXE :: TypeBBXXBXXXEXEXE
data TypeBBXBBXXEXEXXEXE t :: (((* -> ((* -> *) -> *) -> * -> *) -> *) -> *)
TypeBBXBBXXEXEXXEXE :: TypeBBXBBXXEXEXXEXE
data TypeBBXBXXXEXXEXE t :: (((* -> (* -> * -> *) -> * -> *) -> *) -> *)
TypeBBXBXXXEXXEXE :: TypeBBXBXXXEXXEXE
data TypeBBBBXXEXEBXXEXEXE t :: (((((* -> *) -> *) -> (* -> *) -> *) -> *) -> *)
TypeBBBBXXEXEBXXEXEXE :: TypeBBBBXXEXEBXXEXEXE
data TypeBBBBXXEXEXXXEXE t :: (((((* -> *) -> *) -> * -> * -> *) -> *) -> *)
TypeBBBBXXEXEXXXEXE :: TypeBBBBXXEXEXXXEXE
data TypeBBBXXXEBXXEXEXE t :: ((((* -> * -> *) -> (* -> *) -> *) -> *) -> *)
TypeBBBXXXEBXXEXEXE :: TypeBBBXXXEBXXEXEXE
data TypeBBBXXXEXXXEXE t :: ((((* -> * -> *) -> * -> * -> *) -> *) -> *)
TypeBBBXXXEXXXEXE :: TypeBBBXXXEXXXEXE
data TypeBBXXXBXXEXEXE t :: (((* -> * -> * -> (* -> *) -> *) -> *) -> *)
TypeBBXXXBXXEXEXE :: TypeBBXXXBXXEXEXE
data TypeBBXXBXXEXXEXE t :: (((* -> * -> (* -> *) -> * -> *) -> *) -> *)
TypeBBXXBXXEXXEXE :: TypeBBXXBXXEXXEXE
data TypeBBXBXXEBXXEXEXE t :: (((* -> (* -> *) -> (* -> *) -> *) -> *) -> *)
TypeBBXBXXEBXXEXEXE :: TypeBBXBXXEBXXEXEXE
data TypeBBXBXXEXXXEXE t :: (((* -> (* -> *) -> * -> * -> *) -> *) -> *)
TypeBBXBXXEXXXEXE :: TypeBBXBXXEXXXEXE
data TypeBBBXXEBBXXEXEXEXE t :: ((((* -> *) -> ((* -> *) -> *) -> *) -> *) -> *)
TypeBBBXXEBBXXEXEXEXE :: TypeBBBXXEBBXXEXEXEXE
data TypeBBBXXEBXXXEXEXE t :: ((((* -> *) -> (* -> * -> *) -> *) -> *) -> *)
TypeBBBXXEBXXXEXEXE :: TypeBBBXXEBXXXEXEXE
data TypeBBBXXEXBXXEXEXE t :: ((((* -> *) -> * -> (* -> *) -> *) -> *) -> *)
TypeBBBXXEXBXXEXEXE :: TypeBBBXXEXBXXEXEXE
data TypeBBBXXEBXXEXXEXE t :: ((((* -> *) -> (* -> *) -> * -> *) -> *) -> *)
TypeBBBXXEBXXEXXEXE :: TypeBBBXXEBXXEXXEXE
data TypeBBBXXEXXXXEXE t :: ((((* -> *) -> * -> * -> * -> *) -> *) -> *)
TypeBBBXXEXXXXEXE :: TypeBBBXXEXXXXEXE
data TypeBBXXXXXXEXE t :: (((* -> * -> * -> * -> * -> *) -> *) -> *)
TypeBBXXXXXXEXE :: TypeBBXXXXXXEXE
data TypeBXBBBBXXEXEXEXEXE t :: ((* -> ((((* -> *) -> *) -> *) -> *) -> *) -> *)
TypeBXBBBBXXEXEXEXEXE :: TypeBXBBBBXXEXEXEXEXE
data TypeBXBBBXXXEXEXEXE t :: ((* -> (((* -> * -> *) -> *) -> *) -> *) -> *)
TypeBXBBBXXXEXEXEXE :: TypeBXBBBXXXEXEXEXE
data TypeBXBBXBXXEXEXEXE t :: ((* -> ((* -> (* -> *) -> *) -> *) -> *) -> *)
TypeBXBBXBXXEXEXEXE :: TypeBXBBXBXXEXEXEXE
data TypeBXBBBXXEXXEXEXE t :: ((* -> (((* -> *) -> * -> *) -> *) -> *) -> *)
TypeBXBBBXXEXXEXEXE :: TypeBXBBBXXEXXEXEXE
data TypeBXBBXXXXEXEXE t :: ((* -> ((* -> * -> * -> *) -> *) -> *) -> *)
TypeBXBBXXXXEXEXE :: TypeBXBBXXXXEXEXE
data TypeBXBXBBXXEXEXEXE t :: ((* -> (* -> ((* -> *) -> *) -> *) -> *) -> *)
TypeBXBXBBXXEXEXEXE :: TypeBXBXBBXXEXEXEXE
data TypeBXBXBXXXEXEXE t :: ((* -> (* -> (* -> * -> *) -> *) -> *) -> *)
TypeBXBXBXXXEXEXE :: TypeBXBXBXXXEXEXE
data TypeBXBBBXXEXEXXEXE t :: ((* -> (((* -> *) -> *) -> * -> *) -> *) -> *)
TypeBXBBBXXEXEXXEXE :: TypeBXBBBXXEXEXXEXE
data TypeBXBBXXXEXXEXE t :: ((* -> ((* -> * -> *) -> * -> *) -> *) -> *)
TypeBXBBXXXEXXEXE :: TypeBXBBXXXEXXEXE
data TypeBXBXXBXXEXEXE t :: ((* -> (* -> * -> (* -> *) -> *) -> *) -> *)
TypeBXBXXBXXEXEXE :: TypeBXBXXBXXEXEXE
data TypeBXBXBXXEXXEXE t :: ((* -> (* -> (* -> *) -> * -> *) -> *) -> *)
TypeBXBXBXXEXXEXE :: TypeBXBXBXXEXXEXE
data TypeBXBBXXEBXXEXEXE t :: ((* -> ((* -> *) -> (* -> *) -> *) -> *) -> *)
TypeBXBBXXEBXXEXEXE :: TypeBXBBXXEBXXEXEXE
data TypeBXBBXXEXXXEXE t :: ((* -> ((* -> *) -> * -> * -> *) -> *) -> *)
TypeBXBBXXEXXXEXE :: TypeBXBBXXEXXXEXE
data TypeBXBXXXXXEXE t :: ((* -> (* -> * -> * -> * -> *) -> *) -> *)
TypeBXBXXXXXEXE :: TypeBXBXXXXXEXE
data TypeBBBBBXXEXEXEXEXXE t :: ((((((* -> *) -> *) -> *) -> *) -> * -> *) -> *)
TypeBBBBBXXEXEXEXEXXE :: TypeBBBBBXXEXEXEXEXXE
data TypeBBBBXXXEXEXEXXE t :: (((((* -> * -> *) -> *) -> *) -> * -> *) -> *)
TypeBBBBXXXEXEXEXXE :: TypeBBBBXXXEXEXEXXE
data TypeBBBXBXXEXEXEXXE t :: ((((* -> (* -> *) -> *) -> *) -> * -> *) -> *)
TypeBBBXBXXEXEXEXXE :: TypeBBBXBXXEXEXEXXE
data TypeBBBBXXEXXEXEXXE t :: (((((* -> *) -> * -> *) -> *) -> * -> *) -> *)
TypeBBBBXXEXXEXEXXE :: TypeBBBBXXEXXEXEXXE
data TypeBBBXXXXEXEXXE t :: ((((* -> * -> * -> *) -> *) -> * -> *) -> *)
TypeBBBXXXXEXEXXE :: TypeBBBXXXXEXEXXE
data TypeBBXBBXXEXEXEXXE t :: (((* -> ((* -> *) -> *) -> *) -> * -> *) -> *)
TypeBBXBBXXEXEXEXXE :: TypeBBXBBXXEXEXEXXE
data TypeBBXBXXXEXEXXE t :: (((* -> (* -> * -> *) -> *) -> * -> *) -> *)
TypeBBXBXXXEXEXXE :: TypeBBXBXXXEXEXXE
data TypeBBBBXXEXEXXEXXE t :: (((((* -> *) -> *) -> * -> *) -> * -> *) -> *)
TypeBBBBXXEXEXXEXXE :: TypeBBBBXXEXEXXEXXE
data TypeBBBXXXEXXEXXE t :: ((((* -> * -> *) -> * -> *) -> * -> *) -> *)
TypeBBBXXXEXXEXXE :: TypeBBBXXXEXXEXXE
data TypeBBXXBXXEXEXXE t :: (((* -> * -> (* -> *) -> *) -> * -> *) -> *)
TypeBBXXBXXEXEXXE :: TypeBBXXBXXEXEXXE
data TypeBBXBXXEXXEXXE t :: (((* -> (* -> *) -> * -> *) -> * -> *) -> *)
TypeBBXBXXEXXEXXE :: TypeBBXBXXEXXEXXE
data TypeBBBXXEBXXEXEXXE t :: ((((* -> *) -> (* -> *) -> *) -> * -> *) -> *)
TypeBBBXXEBXXEXEXXE :: TypeBBBXXEBXXEXEXXE
data TypeBBBXXEXXXEXXE t :: ((((* -> *) -> * -> * -> *) -> * -> *) -> *)
TypeBBBXXEXXXEXXE :: TypeBBBXXEXXXEXXE
data TypeBBXXXXXEXXE t :: (((* -> * -> * -> * -> *) -> * -> *) -> *)
TypeBBXXXXXEXXE :: TypeBBXXXXXEXXE
data TypeBXXBBBXXEXEXEXE t :: ((* -> * -> (((* -> *) -> *) -> *) -> *) -> *)
TypeBXXBBBXXEXEXEXE :: TypeBXXBBBXXEXEXEXE
data TypeBXXBBXXXEXEXE t :: ((* -> * -> ((* -> * -> *) -> *) -> *) -> *)
TypeBXXBBXXXEXEXE :: TypeBXXBBXXXEXEXE
data TypeBXXBXBXXEXEXE t :: ((* -> * -> (* -> (* -> *) -> *) -> *) -> *)
TypeBXXBXBXXEXEXE :: TypeBXXBXBXXEXEXE
data TypeBXXBBXXEXXEXE t :: ((* -> * -> ((* -> *) -> * -> *) -> *) -> *)
TypeBXXBBXXEXXEXE :: TypeBXXBBXXEXXEXE
data TypeBXXBXXXXEXE t :: ((* -> * -> (* -> * -> * -> *) -> *) -> *)
TypeBXXBXXXXEXE :: TypeBXXBXXXXEXE
data TypeBXBBBXXEXEXEXXE t :: ((* -> (((* -> *) -> *) -> *) -> * -> *) -> *)
TypeBXBBBXXEXEXEXXE :: TypeBXBBBXXEXEXEXXE
data TypeBXBBXXXEXEXXE t :: ((* -> ((* -> * -> *) -> *) -> * -> *) -> *)
TypeBXBBXXXEXEXXE :: TypeBXBBXXXEXEXXE
data TypeBXBXBXXEXEXXE t :: ((* -> (* -> (* -> *) -> *) -> * -> *) -> *)
TypeBXBXBXXEXEXXE :: TypeBXBXBXXEXEXXE
data TypeBXBBXXEXXEXXE t :: ((* -> ((* -> *) -> * -> *) -> * -> *) -> *)
TypeBXBBXXEXXEXXE :: TypeBXBBXXEXXEXXE
data TypeBXBXXXXEXXE t :: ((* -> (* -> * -> * -> *) -> * -> *) -> *)
TypeBXBXXXXEXXE :: TypeBXBXXXXEXXE
data TypeBBBBXXEXEXEBXXEXE t :: (((((* -> *) -> *) -> *) -> (* -> *) -> *) -> *)
TypeBBBBXXEXEXEBXXEXE :: TypeBBBBXXEXEXEBXXEXE
data TypeBBBBXXEXEXEXXXE t :: (((((* -> *) -> *) -> *) -> * -> * -> *) -> *)
TypeBBBBXXEXEXEXXXE :: TypeBBBBXXEXEXEXXXE
data TypeBBBXXXEXEBXXEXE t :: ((((* -> * -> *) -> *) -> (* -> *) -> *) -> *)
TypeBBBXXXEXEBXXEXE :: TypeBBBXXXEXEBXXEXE
data TypeBBBXXXEXEXXXE t :: ((((* -> * -> *) -> *) -> * -> * -> *) -> *)
TypeBBBXXXEXEXXXE :: TypeBBBXXXEXEXXXE
data TypeBBXBXXEXEBXXEXE t :: (((* -> (* -> *) -> *) -> (* -> *) -> *) -> *)
TypeBBXBXXEXEBXXEXE :: TypeBBXBXXEXEBXXEXE
data TypeBBXBXXEXEXXXE t :: (((* -> (* -> *) -> *) -> * -> * -> *) -> *)
TypeBBXBXXEXEXXXE :: TypeBBXBXXEXEXXXE
data TypeBBBXXEXXEBXXEXE t :: ((((* -> *) -> * -> *) -> (* -> *) -> *) -> *)
TypeBBBXXEXXEBXXEXE :: TypeBBBXXEXXEBXXEXE
data TypeBBBXXEXXEXXXE t :: ((((* -> *) -> * -> *) -> * -> * -> *) -> *)
TypeBBBXXEXXEXXXE :: TypeBBBXXEXXEXXXE
data TypeBBXXXXEBXXEXE t :: (((* -> * -> * -> *) -> (* -> *) -> *) -> *)
TypeBBXXXXEBXXEXE :: TypeBBXXXXEBXXEXE
data TypeBBXXXXEXXXE t :: (((* -> * -> * -> *) -> * -> * -> *) -> *)
TypeBBXXXXEXXXE :: TypeBBXXXXEXXXE
data TypeBXXXBBXXEXEXE t :: ((* -> * -> * -> ((* -> *) -> *) -> *) -> *)
TypeBXXXBBXXEXEXE :: TypeBXXXBBXXEXEXE
data TypeBXXXBXXXEXE t :: ((* -> * -> * -> (* -> * -> *) -> *) -> *)
TypeBXXXBXXXEXE :: TypeBXXXBXXXEXE
data TypeBXXBBXXEXEXXE t :: ((* -> * -> ((* -> *) -> *) -> * -> *) -> *)
TypeBXXBBXXEXEXXE :: TypeBXXBBXXEXEXXE
data TypeBXXBXXXEXXE t :: ((* -> * -> (* -> * -> *) -> * -> *) -> *)
TypeBXXBXXXEXXE :: TypeBXXBXXXEXXE
data TypeBXBBXXEXEBXXEXE t :: ((* -> ((* -> *) -> *) -> (* -> *) -> *) -> *)
TypeBXBBXXEXEBXXEXE :: TypeBXBBXXEXEBXXEXE
data TypeBXBBXXEXEXXXE t :: ((* -> ((* -> *) -> *) -> * -> * -> *) -> *)
TypeBXBBXXEXEXXXE :: TypeBXBBXXEXEXXXE
data TypeBXBXXXEBXXEXE t :: ((* -> (* -> * -> *) -> (* -> *) -> *) -> *)
TypeBXBXXXEBXXEXE :: TypeBXBXXXEBXXEXE
data TypeBXBXXXEXXXE t :: ((* -> (* -> * -> *) -> * -> * -> *) -> *)
TypeBXBXXXEXXXE :: TypeBXBXXXEXXXE
data TypeBBBXXEXEBBXXEXEXE t :: ((((* -> *) -> *) -> ((* -> *) -> *) -> *) -> *)
TypeBBBXXEXEBBXXEXEXE :: TypeBBBXXEXEBBXXEXEXE
data TypeBBBXXEXEBXXXEXE t :: ((((* -> *) -> *) -> (* -> * -> *) -> *) -> *)
TypeBBBXXEXEBXXXEXE :: TypeBBBXXEXEBXXXEXE
data TypeBBBXXEXEXBXXEXE t :: ((((* -> *) -> *) -> * -> (* -> *) -> *) -> *)
TypeBBBXXEXEXBXXEXE :: TypeBBBXXEXEXBXXEXE
data TypeBBBXXEXEBXXEXXE t :: ((((* -> *) -> *) -> (* -> *) -> * -> *) -> *)
TypeBBBXXEXEBXXEXXE :: TypeBBBXXEXEBXXEXXE
data TypeBBBXXEXEXXXXE t :: ((((* -> *) -> *) -> * -> * -> * -> *) -> *)
TypeBBBXXEXEXXXXE :: TypeBBBXXEXEXXXXE
data TypeBBXXXEBBXXEXEXE t :: (((* -> * -> *) -> ((* -> *) -> *) -> *) -> *)
TypeBBXXXEBBXXEXEXE :: TypeBBXXXEBBXXEXEXE
data TypeBBXXXEBXXXEXE t :: (((* -> * -> *) -> (* -> * -> *) -> *) -> *)
TypeBBXXXEBXXXEXE :: TypeBBXXXEBXXXEXE
data TypeBBXXXEXBXXEXE t :: (((* -> * -> *) -> * -> (* -> *) -> *) -> *)
TypeBBXXXEXBXXEXE :: TypeBBXXXEXBXXEXE
data TypeBBXXXEBXXEXXE t :: (((* -> * -> *) -> (* -> *) -> * -> *) -> *)
TypeBBXXXEBXXEXXE :: TypeBBXXXEBXXEXXE
data TypeBBXXXEXXXXE t :: (((* -> * -> *) -> * -> * -> * -> *) -> *)
TypeBBXXXEXXXXE :: TypeBBXXXEXXXXE
data TypeBXXXXBXXEXE t :: ((* -> * -> * -> * -> (* -> *) -> *) -> *)
TypeBXXXXBXXEXE :: TypeBXXXXBXXEXE
data TypeBXXXBXXEXXE t :: ((* -> * -> * -> (* -> *) -> * -> *) -> *)
TypeBXXXBXXEXXE :: TypeBXXXBXXEXXE
data TypeBXXBXXEBXXEXE t :: ((* -> * -> (* -> *) -> (* -> *) -> *) -> *)
TypeBXXBXXEBXXEXE :: TypeBXXBXXEBXXEXE
data TypeBXXBXXEXXXE t :: ((* -> * -> (* -> *) -> * -> * -> *) -> *)
TypeBXXBXXEXXXE :: TypeBXXBXXEXXXE
data TypeBXBXXEBBXXEXEXE t :: ((* -> (* -> *) -> ((* -> *) -> *) -> *) -> *)
TypeBXBXXEBBXXEXEXE :: TypeBXBXXEBBXXEXEXE
data TypeBXBXXEBXXXEXE t :: ((* -> (* -> *) -> (* -> * -> *) -> *) -> *)
TypeBXBXXEBXXXEXE :: TypeBXBXXEBXXXEXE
data TypeBXBXXEXBXXEXE t :: ((* -> (* -> *) -> * -> (* -> *) -> *) -> *)
TypeBXBXXEXBXXEXE :: TypeBXBXXEXBXXEXE
data TypeBXBXXEBXXEXXE t :: ((* -> (* -> *) -> (* -> *) -> * -> *) -> *)
TypeBXBXXEBXXEXXE :: TypeBXBXXEBXXEXXE
data TypeBXBXXEXXXXE t :: ((* -> (* -> *) -> * -> * -> * -> *) -> *)
TypeBXBXXEXXXXE :: TypeBXBXXEXXXXE
data TypeBBXXEBBBXXEXEXEXE t :: (((* -> *) -> (((* -> *) -> *) -> *) -> *) -> *)
TypeBBXXEBBBXXEXEXEXE :: TypeBBXXEBBBXXEXEXEXE
data TypeBBXXEBBXXXEXEXE t :: (((* -> *) -> ((* -> * -> *) -> *) -> *) -> *)
TypeBBXXEBBXXXEXEXE :: TypeBBXXEBBXXXEXEXE
data TypeBBXXEBXBXXEXEXE t :: (((* -> *) -> (* -> (* -> *) -> *) -> *) -> *)
TypeBBXXEBXBXXEXEXE :: TypeBBXXEBXBXXEXEXE
data TypeBBXXEBBXXEXXEXE t :: (((* -> *) -> ((* -> *) -> * -> *) -> *) -> *)
TypeBBXXEBBXXEXXEXE :: TypeBBXXEBBXXEXXEXE
data TypeBBXXEBXXXXEXE t :: (((* -> *) -> (* -> * -> * -> *) -> *) -> *)
TypeBBXXEBXXXXEXE :: TypeBBXXEBXXXXEXE
data TypeBBXXEXBBXXEXEXE t :: (((* -> *) -> * -> ((* -> *) -> *) -> *) -> *)
TypeBBXXEXBBXXEXEXE :: TypeBBXXEXBBXXEXEXE
data TypeBBXXEXBXXXEXE t :: (((* -> *) -> * -> (* -> * -> *) -> *) -> *)
TypeBBXXEXBXXXEXE :: TypeBBXXEXBXXXEXE
data TypeBBXXEBBXXEXEXXE t :: (((* -> *) -> ((* -> *) -> *) -> * -> *) -> *)
TypeBBXXEBBXXEXEXXE :: TypeBBXXEBBXXEXEXXE
data TypeBBXXEBXXXEXXE t :: (((* -> *) -> (* -> * -> *) -> * -> *) -> *)
TypeBBXXEBXXXEXXE :: TypeBBXXEBXXXEXXE
data TypeBBXXEXXBXXEXE t :: (((* -> *) -> * -> * -> (* -> *) -> *) -> *)
TypeBBXXEXXBXXEXE :: TypeBBXXEXXBXXEXE
data TypeBBXXEXBXXEXXE t :: (((* -> *) -> * -> (* -> *) -> * -> *) -> *)
TypeBBXXEXBXXEXXE :: TypeBBXXEXBXXEXXE
data TypeBBXXEBXXEBXXEXE t :: (((* -> *) -> (* -> *) -> (* -> *) -> *) -> *)
TypeBBXXEBXXEBXXEXE :: TypeBBXXEBXXEBXXEXE
data TypeBBXXEBXXEXXXE t :: (((* -> *) -> (* -> *) -> * -> * -> *) -> *)
TypeBBXXEBXXEXXXE :: TypeBBXXEBXXEXXXE
data TypeBBXXEXXXXXE t :: (((* -> *) -> * -> * -> * -> * -> *) -> *)
TypeBBXXEXXXXXE :: TypeBBXXEXXXXXE
data TypeBXXXXXXXE t :: ((* -> * -> * -> * -> * -> * -> *) -> *)
TypeBXXXXXXXE :: TypeBXXXXXXXE
data TypeXBBBBBXXEXEXEXEXE t :: (* -> (((((* -> *) -> *) -> *) -> *) -> *) -> *)
TypeXBBBBBXXEXEXEXEXE :: TypeXBBBBBXXEXEXEXEXE
data TypeXBBBBXXXEXEXEXE t :: (* -> ((((* -> * -> *) -> *) -> *) -> *) -> *)
TypeXBBBBXXXEXEXEXE :: TypeXBBBBXXXEXEXEXE
data TypeXBBBXBXXEXEXEXE t :: (* -> (((* -> (* -> *) -> *) -> *) -> *) -> *)
TypeXBBBXBXXEXEXEXE :: TypeXBBBXBXXEXEXEXE
data TypeXBBBBXXEXXEXEXE t :: (* -> ((((* -> *) -> * -> *) -> *) -> *) -> *)
TypeXBBBBXXEXXEXEXE :: TypeXBBBBXXEXXEXEXE
data TypeXBBBXXXXEXEXE t :: (* -> (((* -> * -> * -> *) -> *) -> *) -> *)
TypeXBBBXXXXEXEXE :: TypeXBBBXXXXEXEXE
data TypeXBBXBBXXEXEXEXE t :: (* -> ((* -> ((* -> *) -> *) -> *) -> *) -> *)
TypeXBBXBBXXEXEXEXE :: TypeXBBXBBXXEXEXEXE
data TypeXBBXBXXXEXEXE t :: (* -> ((* -> (* -> * -> *) -> *) -> *) -> *)
TypeXBBXBXXXEXEXE :: TypeXBBXBXXXEXEXE
data TypeXBBBBXXEXEXXEXE t :: (* -> ((((* -> *) -> *) -> * -> *) -> *) -> *)
TypeXBBBBXXEXEXXEXE :: TypeXBBBBXXEXEXXEXE
data TypeXBBBXXXEXXEXE t :: (* -> (((* -> * -> *) -> * -> *) -> *) -> *)
TypeXBBBXXXEXXEXE :: TypeXBBBXXXEXXEXE
data TypeXBBXXBXXEXEXE t :: (* -> ((* -> * -> (* -> *) -> *) -> *) -> *)
TypeXBBXXBXXEXEXE :: TypeXBBXXBXXEXEXE
data TypeXBBXBXXEXXEXE t :: (* -> ((* -> (* -> *) -> * -> *) -> *) -> *)
TypeXBBXBXXEXXEXE :: TypeXBBXBXXEXXEXE
data TypeXBBBXXEBXXEXEXE t :: (* -> (((* -> *) -> (* -> *) -> *) -> *) -> *)
TypeXBBBXXEBXXEXEXE :: TypeXBBBXXEBXXEXEXE
data TypeXBBBXXEXXXEXE t :: (* -> (((* -> *) -> * -> * -> *) -> *) -> *)
TypeXBBBXXEXXXEXE :: TypeXBBBXXEXXXEXE
data TypeXBBXXXXXEXE t :: (* -> ((* -> * -> * -> * -> *) -> *) -> *)
TypeXBBXXXXXEXE :: TypeXBBXXXXXEXE
data TypeXBXBBBXXEXEXEXE t :: (* -> (* -> (((* -> *) -> *) -> *) -> *) -> *)
TypeXBXBBBXXEXEXEXE :: TypeXBXBBBXXEXEXEXE
data TypeXBXBBXXXEXEXE t :: (* -> (* -> ((* -> * -> *) -> *) -> *) -> *)
TypeXBXBBXXXEXEXE :: TypeXBXBBXXXEXEXE
data TypeXBXBXBXXEXEXE t :: (* -> (* -> (* -> (* -> *) -> *) -> *) -> *)
TypeXBXBXBXXEXEXE :: TypeXBXBXBXXEXEXE
data TypeXBXBBXXEXXEXE t :: (* -> (* -> ((* -> *) -> * -> *) -> *) -> *)
TypeXBXBBXXEXXEXE :: TypeXBXBBXXEXXEXE
data TypeXBXBXXXXEXE t :: (* -> (* -> (* -> * -> * -> *) -> *) -> *)
TypeXBXBXXXXEXE :: TypeXBXBXXXXEXE
data TypeXBBBBXXEXEXEXXE t :: (* -> ((((* -> *) -> *) -> *) -> * -> *) -> *)
TypeXBBBBXXEXEXEXXE :: TypeXBBBBXXEXEXEXXE
data TypeXBBBXXXEXEXXE t :: (* -> (((* -> * -> *) -> *) -> * -> *) -> *)
TypeXBBBXXXEXEXXE :: TypeXBBBXXXEXEXXE
data TypeXBBXBXXEXEXXE t :: (* -> ((* -> (* -> *) -> *) -> * -> *) -> *)
TypeXBBXBXXEXEXXE :: TypeXBBXBXXEXEXXE
data TypeXBBBXXEXXEXXE t :: (* -> (((* -> *) -> * -> *) -> * -> *) -> *)
TypeXBBBXXEXXEXXE :: TypeXBBBXXEXXEXXE
data TypeXBBXXXXEXXE t :: (* -> ((* -> * -> * -> *) -> * -> *) -> *)
TypeXBBXXXXEXXE :: TypeXBBXXXXEXXE
data TypeXBXXBBXXEXEXE t :: (* -> (* -> * -> ((* -> *) -> *) -> *) -> *)
TypeXBXXBBXXEXEXE :: TypeXBXXBBXXEXEXE
data TypeXBXXBXXXEXE t :: (* -> (* -> * -> (* -> * -> *) -> *) -> *)
TypeXBXXBXXXEXE :: TypeXBXXBXXXEXE
data TypeXBXBBXXEXEXXE t :: (* -> (* -> ((* -> *) -> *) -> * -> *) -> *)
TypeXBXBBXXEXEXXE :: TypeXBXBBXXEXEXXE
data TypeXBXBXXXEXXE t :: (* -> (* -> (* -> * -> *) -> * -> *) -> *)
TypeXBXBXXXEXXE :: TypeXBXBXXXEXXE
data TypeXBBBXXEXEBXXEXE t :: (* -> (((* -> *) -> *) -> (* -> *) -> *) -> *)
TypeXBBBXXEXEBXXEXE :: TypeXBBBXXEXEBXXEXE
data TypeXBBBXXEXEXXXE t :: (* -> (((* -> *) -> *) -> * -> * -> *) -> *)
TypeXBBBXXEXEXXXE :: TypeXBBBXXEXEXXXE
data TypeXBBXXXEBXXEXE t :: (* -> ((* -> * -> *) -> (* -> *) -> *) -> *)
TypeXBBXXXEBXXEXE :: TypeXBBXXXEBXXEXE
data TypeXBBXXXEXXXE t :: (* -> ((* -> * -> *) -> * -> * -> *) -> *)
TypeXBBXXXEXXXE :: TypeXBBXXXEXXXE
data TypeXBXXXBXXEXE t :: (* -> (* -> * -> * -> (* -> *) -> *) -> *)
TypeXBXXXBXXEXE :: TypeXBXXXBXXEXE
data TypeXBXXBXXEXXE t :: (* -> (* -> * -> (* -> *) -> * -> *) -> *)
TypeXBXXBXXEXXE :: TypeXBXXBXXEXXE
data TypeXBXBXXEBXXEXE t :: (* -> (* -> (* -> *) -> (* -> *) -> *) -> *)
TypeXBXBXXEBXXEXE :: TypeXBXBXXEBXXEXE
data TypeXBXBXXEXXXE t :: (* -> (* -> (* -> *) -> * -> * -> *) -> *)
TypeXBXBXXEXXXE :: TypeXBXBXXEXXXE
data TypeXBBXXEBBXXEXEXE t :: (* -> ((* -> *) -> ((* -> *) -> *) -> *) -> *)
TypeXBBXXEBBXXEXEXE :: TypeXBBXXEBBXXEXEXE
data TypeXBBXXEBXXXEXE t :: (* -> ((* -> *) -> (* -> * -> *) -> *) -> *)
TypeXBBXXEBXXXEXE :: TypeXBBXXEBXXXEXE
data TypeXBBXXEXBXXEXE t :: (* -> ((* -> *) -> * -> (* -> *) -> *) -> *)
TypeXBBXXEXBXXEXE :: TypeXBBXXEXBXXEXE
data TypeXBBXXEBXXEXXE t :: (* -> ((* -> *) -> (* -> *) -> * -> *) -> *)
TypeXBBXXEBXXEXXE :: TypeXBBXXEBXXEXXE
data TypeXBBXXEXXXXE t :: (* -> ((* -> *) -> * -> * -> * -> *) -> *)
TypeXBBXXEXXXXE :: TypeXBBXXEXXXXE
data TypeXBXXXXXXE t :: (* -> (* -> * -> * -> * -> * -> *) -> *)
TypeXBXXXXXXE :: TypeXBXXXXXXE
data TypeBBBBBXXEXEXEXEXEX t :: ((((((* -> *) -> *) -> *) -> *) -> *) -> * -> *)
TypeBBBBBXXEXEXEXEXEX :: TypeBBBBBXXEXEXEXEXEX
data TypeBBBBXXXEXEXEXEX t :: (((((* -> * -> *) -> *) -> *) -> *) -> * -> *)
TypeBBBBXXXEXEXEXEX :: TypeBBBBXXXEXEXEXEX
data TypeBBBXBXXEXEXEXEX t :: ((((* -> (* -> *) -> *) -> *) -> *) -> * -> *)
TypeBBBXBXXEXEXEXEX :: TypeBBBXBXXEXEXEXEX
data TypeBBBBXXEXXEXEXEX t :: (((((* -> *) -> * -> *) -> *) -> *) -> * -> *)
TypeBBBBXXEXXEXEXEX :: TypeBBBBXXEXXEXEXEX
data TypeBBBXXXXEXEXEX t :: ((((* -> * -> * -> *) -> *) -> *) -> * -> *)
TypeBBBXXXXEXEXEX :: TypeBBBXXXXEXEXEX
data TypeBBXBBXXEXEXEXEX t :: (((* -> ((* -> *) -> *) -> *) -> *) -> * -> *)
TypeBBXBBXXEXEXEXEX :: TypeBBXBBXXEXEXEXEX
data TypeBBXBXXXEXEXEX t :: (((* -> (* -> * -> *) -> *) -> *) -> * -> *)
TypeBBXBXXXEXEXEX :: TypeBBXBXXXEXEXEX
data TypeBBBBXXEXEXXEXEX t :: (((((* -> *) -> *) -> * -> *) -> *) -> * -> *)
TypeBBBBXXEXEXXEXEX :: TypeBBBBXXEXEXXEXEX
data TypeBBBXXXEXXEXEX t :: ((((* -> * -> *) -> * -> *) -> *) -> * -> *)
TypeBBBXXXEXXEXEX :: TypeBBBXXXEXXEXEX
data TypeBBXXBXXEXEXEX t :: (((* -> * -> (* -> *) -> *) -> *) -> * -> *)
TypeBBXXBXXEXEXEX :: TypeBBXXBXXEXEXEX
data TypeBBXBXXEXXEXEX t :: (((* -> (* -> *) -> * -> *) -> *) -> * -> *)
TypeBBXBXXEXXEXEX :: TypeBBXBXXEXXEXEX
data TypeBBBXXEBXXEXEXEX t :: ((((* -> *) -> (* -> *) -> *) -> *) -> * -> *)
TypeBBBXXEBXXEXEXEX :: TypeBBBXXEBXXEXEXEX
data TypeBBBXXEXXXEXEX t :: ((((* -> *) -> * -> * -> *) -> *) -> * -> *)
TypeBBBXXEXXXEXEX :: TypeBBBXXEXXXEXEX
data TypeBBXXXXXEXEX t :: (((* -> * -> * -> * -> *) -> *) -> * -> *)
TypeBBXXXXXEXEX :: TypeBBXXXXXEXEX
data TypeBXBBBXXEXEXEXEX t :: ((* -> (((* -> *) -> *) -> *) -> *) -> * -> *)
TypeBXBBBXXEXEXEXEX :: TypeBXBBBXXEXEXEXEX
data TypeBXBBXXXEXEXEX t :: ((* -> ((* -> * -> *) -> *) -> *) -> * -> *)
TypeBXBBXXXEXEXEX :: TypeBXBBXXXEXEXEX
data TypeBXBXBXXEXEXEX t :: ((* -> (* -> (* -> *) -> *) -> *) -> * -> *)
TypeBXBXBXXEXEXEX :: TypeBXBXBXXEXEXEX
data TypeBXBBXXEXXEXEX t :: ((* -> ((* -> *) -> * -> *) -> *) -> * -> *)
TypeBXBBXXEXXEXEX :: TypeBXBBXXEXXEXEX
data TypeBXBXXXXEXEX t :: ((* -> (* -> * -> * -> *) -> *) -> * -> *)
TypeBXBXXXXEXEX :: TypeBXBXXXXEXEX
data TypeBBBBXXEXEXEXXEX t :: (((((* -> *) -> *) -> *) -> * -> *) -> * -> *)
TypeBBBBXXEXEXEXXEX :: TypeBBBBXXEXEXEXXEX
data TypeBBBXXXEXEXXEX t :: ((((* -> * -> *) -> *) -> * -> *) -> * -> *)
TypeBBBXXXEXEXXEX :: TypeBBBXXXEXEXXEX
data TypeBBXBXXEXEXXEX t :: (((* -> (* -> *) -> *) -> * -> *) -> * -> *)
TypeBBXBXXEXEXXEX :: TypeBBXBXXEXEXXEX
data TypeBBBXXEXXEXXEX t :: ((((* -> *) -> * -> *) -> * -> *) -> * -> *)
TypeBBBXXEXXEXXEX :: TypeBBBXXEXXEXXEX
data TypeBBXXXXEXXEX t :: (((* -> * -> * -> *) -> * -> *) -> * -> *)
TypeBBXXXXEXXEX :: TypeBBXXXXEXXEX
data TypeBXXBBXXEXEXEX t :: ((* -> * -> ((* -> *) -> *) -> *) -> * -> *)
TypeBXXBBXXEXEXEX :: TypeBXXBBXXEXEXEX
data TypeBXXBXXXEXEX t :: ((* -> * -> (* -> * -> *) -> *) -> * -> *)
TypeBXXBXXXEXEX :: TypeBXXBXXXEXEX
data TypeBXBBXXEXEXXEX t :: ((* -> ((* -> *) -> *) -> * -> *) -> * -> *)
TypeBXBBXXEXEXXEX :: TypeBXBBXXEXEXXEX
data TypeBXBXXXEXXEX t :: ((* -> (* -> * -> *) -> * -> *) -> * -> *)
TypeBXBXXXEXXEX :: TypeBXBXXXEXXEX
data TypeBBBXXEXEBXXEXEX t :: ((((* -> *) -> *) -> (* -> *) -> *) -> * -> *)
TypeBBBXXEXEBXXEXEX :: TypeBBBXXEXEBXXEXEX
data TypeBBBXXEXEXXXEX t :: ((((* -> *) -> *) -> * -> * -> *) -> * -> *)
TypeBBBXXEXEXXXEX :: TypeBBBXXEXEXXXEX
data TypeBBXXXEBXXEXEX t :: (((* -> * -> *) -> (* -> *) -> *) -> * -> *)
TypeBBXXXEBXXEXEX :: TypeBBXXXEBXXEXEX
data TypeBBXXXEXXXEX t :: (((* -> * -> *) -> * -> * -> *) -> * -> *)
TypeBBXXXEXXXEX :: TypeBBXXXEXXXEX
data TypeBXXXBXXEXEX t :: ((* -> * -> * -> (* -> *) -> *) -> * -> *)
TypeBXXXBXXEXEX :: TypeBXXXBXXEXEX
data TypeBXXBXXEXXEX t :: ((* -> * -> (* -> *) -> * -> *) -> * -> *)
TypeBXXBXXEXXEX :: TypeBXXBXXEXXEX
data TypeBXBXXEBXXEXEX t :: ((* -> (* -> *) -> (* -> *) -> *) -> * -> *)
TypeBXBXXEBXXEXEX :: TypeBXBXXEBXXEXEX
data TypeBXBXXEXXXEX t :: ((* -> (* -> *) -> * -> * -> *) -> * -> *)
TypeBXBXXEXXXEX :: TypeBXBXXEXXXEX
data TypeBBXXEBBXXEXEXEX t :: (((* -> *) -> ((* -> *) -> *) -> *) -> * -> *)
TypeBBXXEBBXXEXEXEX :: TypeBBXXEBBXXEXEXEX
data TypeBBXXEBXXXEXEX t :: (((* -> *) -> (* -> * -> *) -> *) -> * -> *)
TypeBBXXEBXXXEXEX :: TypeBBXXEBXXXEXEX
data TypeBBXXEXBXXEXEX t :: (((* -> *) -> * -> (* -> *) -> *) -> * -> *)
TypeBBXXEXBXXEXEX :: TypeBBXXEXBXXEXEX
data TypeBBXXEBXXEXXEX t :: (((* -> *) -> (* -> *) -> * -> *) -> * -> *)
TypeBBXXEBXXEXXEX :: TypeBBXXEBXXEXXEX
data TypeBBXXEXXXXEX t :: (((* -> *) -> * -> * -> * -> *) -> * -> *)
TypeBBXXEXXXXEX :: TypeBBXXEXXXXEX
data TypeBXXXXXXEX t :: ((* -> * -> * -> * -> * -> *) -> * -> *)
TypeBXXXXXXEX :: TypeBXXXXXXEX
data TypeXXBBBBXXEXEXEXE t :: (* -> * -> ((((* -> *) -> *) -> *) -> *) -> *)
TypeXXBBBBXXEXEXEXE :: TypeXXBBBBXXEXEXEXE
data TypeXXBBBXXXEXEXE t :: (* -> * -> (((* -> * -> *) -> *) -> *) -> *)
TypeXXBBBXXXEXEXE :: TypeXXBBBXXXEXEXE
data TypeXXBBXBXXEXEXE t :: (* -> * -> ((* -> (* -> *) -> *) -> *) -> *)
TypeXXBBXBXXEXEXE :: TypeXXBBXBXXEXEXE
data TypeXXBBBXXEXXEXE t :: (* -> * -> (((* -> *) -> * -> *) -> *) -> *)
TypeXXBBBXXEXXEXE :: TypeXXBBBXXEXXEXE
data TypeXXBBXXXXEXE t :: (* -> * -> ((* -> * -> * -> *) -> *) -> *)
TypeXXBBXXXXEXE :: TypeXXBBXXXXEXE
data TypeXXBXBBXXEXEXE t :: (* -> * -> (* -> ((* -> *) -> *) -> *) -> *)
TypeXXBXBBXXEXEXE :: TypeXXBXBBXXEXEXE
data TypeXXBXBXXXEXE t :: (* -> * -> (* -> (* -> * -> *) -> *) -> *)
TypeXXBXBXXXEXE :: TypeXXBXBXXXEXE
data TypeXXBBBXXEXEXXE t :: (* -> * -> (((* -> *) -> *) -> * -> *) -> *)
TypeXXBBBXXEXEXXE :: TypeXXBBBXXEXEXXE
data TypeXXBBXXXEXXE t :: (* -> * -> ((* -> * -> *) -> * -> *) -> *)
TypeXXBBXXXEXXE :: TypeXXBBXXXEXXE
data TypeXXBXXBXXEXE t :: (* -> * -> (* -> * -> (* -> *) -> *) -> *)
TypeXXBXXBXXEXE :: TypeXXBXXBXXEXE
data TypeXXBXBXXEXXE t :: (* -> * -> (* -> (* -> *) -> * -> *) -> *)
TypeXXBXBXXEXXE :: TypeXXBXBXXEXXE
data TypeXXBBXXEBXXEXE t :: (* -> * -> ((* -> *) -> (* -> *) -> *) -> *)
TypeXXBBXXEBXXEXE :: TypeXXBBXXEBXXEXE
data TypeXXBBXXEXXXE t :: (* -> * -> ((* -> *) -> * -> * -> *) -> *)
TypeXXBBXXEXXXE :: TypeXXBBXXEXXXE
data TypeXXBXXXXXE t :: (* -> * -> (* -> * -> * -> * -> *) -> *)
TypeXXBXXXXXE :: TypeXXBXXXXXE
data TypeXBBBBXXEXEXEXEX t :: (* -> ((((* -> *) -> *) -> *) -> *) -> * -> *)
TypeXBBBBXXEXEXEXEX :: TypeXBBBBXXEXEXEXEX
data TypeXBBBXXXEXEXEX t :: (* -> (((* -> * -> *) -> *) -> *) -> * -> *)
TypeXBBBXXXEXEXEX :: TypeXBBBXXXEXEXEX
data TypeXBBXBXXEXEXEX t :: (* -> ((* -> (* -> *) -> *) -> *) -> * -> *)
TypeXBBXBXXEXEXEX :: TypeXBBXBXXEXEXEX
data TypeXBBBXXEXXEXEX t :: (* -> (((* -> *) -> * -> *) -> *) -> * -> *)
TypeXBBBXXEXXEXEX :: TypeXBBBXXEXXEXEX
data TypeXBBXXXXEXEX t :: (* -> ((* -> * -> * -> *) -> *) -> * -> *)
TypeXBBXXXXEXEX :: TypeXBBXXXXEXEX
data TypeXBXBBXXEXEXEX t :: (* -> (* -> ((* -> *) -> *) -> *) -> * -> *)
TypeXBXBBXXEXEXEX :: TypeXBXBBXXEXEXEX
data TypeXBXBXXXEXEX t :: (* -> (* -> (* -> * -> *) -> *) -> * -> *)
TypeXBXBXXXEXEX :: TypeXBXBXXXEXEX
data TypeXBBBXXEXEXXEX t :: (* -> (((* -> *) -> *) -> * -> *) -> * -> *)
TypeXBBBXXEXEXXEX :: TypeXBBBXXEXEXXEX
data TypeXBBXXXEXXEX t :: (* -> ((* -> * -> *) -> * -> *) -> * -> *)
TypeXBBXXXEXXEX :: TypeXBBXXXEXXEX
data TypeXBXXBXXEXEX t :: (* -> (* -> * -> (* -> *) -> *) -> * -> *)
TypeXBXXBXXEXEX :: TypeXBXXBXXEXEX
data TypeXBXBXXEXXEX t :: (* -> (* -> (* -> *) -> * -> *) -> * -> *)
TypeXBXBXXEXXEX :: TypeXBXBXXEXXEX
data TypeXBBXXEBXXEXEX t :: (* -> ((* -> *) -> (* -> *) -> *) -> * -> *)
TypeXBBXXEBXXEXEX :: TypeXBBXXEBXXEXEX
data TypeXBBXXEXXXEX t :: (* -> ((* -> *) -> * -> * -> *) -> * -> *)
TypeXBBXXEXXXEX :: TypeXBBXXEXXXEX
data TypeXBXXXXXEX t :: (* -> (* -> * -> * -> * -> *) -> * -> *)
TypeXBXXXXXEX :: TypeXBXXXXXEX
data TypeBBBBXXEXEXEXEBXXE t :: (((((* -> *) -> *) -> *) -> *) -> (* -> *) -> *)
TypeBBBBXXEXEXEXEBXXE :: TypeBBBBXXEXEXEXEBXXE
data TypeBBBBXXEXEXEXEXX t :: (((((* -> *) -> *) -> *) -> *) -> * -> * -> *)
TypeBBBBXXEXEXEXEXX :: TypeBBBBXXEXEXEXEXX
data TypeBBBXXXEXEXEBXXE t :: ((((* -> * -> *) -> *) -> *) -> (* -> *) -> *)
TypeBBBXXXEXEXEBXXE :: TypeBBBXXXEXEXEBXXE
data TypeBBBXXXEXEXEXX t :: ((((* -> * -> *) -> *) -> *) -> * -> * -> *)
TypeBBBXXXEXEXEXX :: TypeBBBXXXEXEXEXX
data TypeBBXBXXEXEXEBXXE t :: (((* -> (* -> *) -> *) -> *) -> (* -> *) -> *)
TypeBBXBXXEXEXEBXXE :: TypeBBXBXXEXEXEBXXE
data TypeBBXBXXEXEXEXX t :: (((* -> (* -> *) -> *) -> *) -> * -> * -> *)
TypeBBXBXXEXEXEXX :: TypeBBXBXXEXEXEXX
data TypeBBBXXEXXEXEBXXE t :: ((((* -> *) -> * -> *) -> *) -> (* -> *) -> *)
TypeBBBXXEXXEXEBXXE :: TypeBBBXXEXXEXEBXXE
data TypeBBBXXEXXEXEXX t :: ((((* -> *) -> * -> *) -> *) -> * -> * -> *)
TypeBBBXXEXXEXEXX :: TypeBBBXXEXXEXEXX
data TypeBBXXXXEXEBXXE t :: (((* -> * -> * -> *) -> *) -> (* -> *) -> *)
TypeBBXXXXEXEBXXE :: TypeBBXXXXEXEBXXE
data TypeBBXXXXEXEXX t :: (((* -> * -> * -> *) -> *) -> * -> * -> *)
TypeBBXXXXEXEXX :: TypeBBXXXXEXEXX
data TypeBXBBXXEXEXEBXXE t :: ((* -> ((* -> *) -> *) -> *) -> (* -> *) -> *)
TypeBXBBXXEXEXEBXXE :: TypeBXBBXXEXEXEBXXE
data TypeBXBBXXEXEXEXX t :: ((* -> ((* -> *) -> *) -> *) -> * -> * -> *)
TypeBXBBXXEXEXEXX :: TypeBXBBXXEXEXEXX
data TypeBXBXXXEXEBXXE t :: ((* -> (* -> * -> *) -> *) -> (* -> *) -> *)
TypeBXBXXXEXEBXXE :: TypeBXBXXXEXEBXXE
data TypeBXBXXXEXEXX t :: ((* -> (* -> * -> *) -> *) -> * -> * -> *)
TypeBXBXXXEXEXX :: TypeBXBXXXEXEXX
data TypeBBBXXEXEXXEBXXE t :: ((((* -> *) -> *) -> * -> *) -> (* -> *) -> *)
TypeBBBXXEXEXXEBXXE :: TypeBBBXXEXEXXEBXXE
data TypeBBBXXEXEXXEXX t :: ((((* -> *) -> *) -> * -> *) -> * -> * -> *)
TypeBBBXXEXEXXEXX :: TypeBBBXXEXEXXEXX
data TypeBBXXXEXXEBXXE t :: (((* -> * -> *) -> * -> *) -> (* -> *) -> *)
TypeBBXXXEXXEBXXE :: TypeBBXXXEXXEBXXE
data TypeBBXXXEXXEXX t :: (((* -> * -> *) -> * -> *) -> * -> * -> *)
TypeBBXXXEXXEXX :: TypeBBXXXEXXEXX
data TypeBXXBXXEXEBXXE t :: ((* -> * -> (* -> *) -> *) -> (* -> *) -> *)
TypeBXXBXXEXEBXXE :: TypeBXXBXXEXEBXXE
data TypeBXXBXXEXEXX t :: ((* -> * -> (* -> *) -> *) -> * -> * -> *)
TypeBXXBXXEXEXX :: TypeBXXBXXEXEXX
data TypeBXBXXEXXEBXXE t :: ((* -> (* -> *) -> * -> *) -> (* -> *) -> *)
TypeBXBXXEXXEBXXE :: TypeBXBXXEXXEBXXE
data TypeBXBXXEXXEXX t :: ((* -> (* -> *) -> * -> *) -> * -> * -> *)
TypeBXBXXEXXEXX :: TypeBXBXXEXXEXX
data TypeBBXXEBXXEXEBXXE t :: (((* -> *) -> (* -> *) -> *) -> (* -> *) -> *)
TypeBBXXEBXXEXEBXXE :: TypeBBXXEBXXEXEBXXE
data TypeBBXXEBXXEXEXX t :: (((* -> *) -> (* -> *) -> *) -> * -> * -> *)
TypeBBXXEBXXEXEXX :: TypeBBXXEBXXEXEXX
data TypeBBXXEXXXEBXXE t :: (((* -> *) -> * -> * -> *) -> (* -> *) -> *)
TypeBBXXEXXXEBXXE :: TypeBBXXEXXXEBXXE
data TypeBBXXEXXXEXX t :: (((* -> *) -> * -> * -> *) -> * -> * -> *)
TypeBBXXEXXXEXX :: TypeBBXXEXXXEXX
data TypeBXXXXXEBXXE t :: ((* -> * -> * -> * -> *) -> (* -> *) -> *)
TypeBXXXXXEBXXE :: TypeBXXXXXEBXXE
data TypeBXXXXXEXX t :: ((* -> * -> * -> * -> *) -> * -> * -> *)
TypeBXXXXXEXX :: TypeBXXXXXEXX
data TypeXXXBBBXXEXEXE t :: (* -> * -> * -> (((* -> *) -> *) -> *) -> *)
TypeXXXBBBXXEXEXE :: TypeXXXBBBXXEXEXE
data TypeXXXBBXXXEXE t :: (* -> * -> * -> ((* -> * -> *) -> *) -> *)
TypeXXXBBXXXEXE :: TypeXXXBBXXXEXE
data TypeXXXBXBXXEXE t :: (* -> * -> * -> (* -> (* -> *) -> *) -> *)
TypeXXXBXBXXEXE :: TypeXXXBXBXXEXE
data TypeXXXBBXXEXXE t :: (* -> * -> * -> ((* -> *) -> * -> *) -> *)
TypeXXXBBXXEXXE :: TypeXXXBBXXEXXE
data TypeXXXBXXXXE t :: (* -> * -> * -> (* -> * -> * -> *) -> *)
TypeXXXBXXXXE :: TypeXXXBXXXXE
data TypeXXBBBXXEXEXEX t :: (* -> * -> (((* -> *) -> *) -> *) -> * -> *)
TypeXXBBBXXEXEXEX :: TypeXXBBBXXEXEXEX
data TypeXXBBXXXEXEX t :: (* -> * -> ((* -> * -> *) -> *) -> * -> *)
TypeXXBBXXXEXEX :: TypeXXBBXXXEXEX
data TypeXXBXBXXEXEX t :: (* -> * -> (* -> (* -> *) -> *) -> * -> *)
TypeXXBXBXXEXEX :: TypeXXBXBXXEXEX
data TypeXXBBXXEXXEX t :: (* -> * -> ((* -> *) -> * -> *) -> * -> *)
TypeXXBBXXEXXEX :: TypeXXBBXXEXXEX
data TypeXXBXXXXEX t :: (* -> * -> (* -> * -> * -> *) -> * -> *)
TypeXXBXXXXEX :: TypeXXBXXXXEX
data TypeXBBBXXEXEXEBXXE t :: (* -> (((* -> *) -> *) -> *) -> (* -> *) -> *)
TypeXBBBXXEXEXEBXXE :: TypeXBBBXXEXEXEBXXE
data TypeXBBBXXEXEXEXX t :: (* -> (((* -> *) -> *) -> *) -> * -> * -> *)
TypeXBBBXXEXEXEXX :: TypeXBBBXXEXEXEXX
data TypeXBBXXXEXEBXXE t :: (* -> ((* -> * -> *) -> *) -> (* -> *) -> *)
TypeXBBXXXEXEBXXE :: TypeXBBXXXEXEBXXE
data TypeXBBXXXEXEXX t :: (* -> ((* -> * -> *) -> *) -> * -> * -> *)
TypeXBBXXXEXEXX :: TypeXBBXXXEXEXX
data TypeXBXBXXEXEBXXE t :: (* -> (* -> (* -> *) -> *) -> (* -> *) -> *)
TypeXBXBXXEXEBXXE :: TypeXBXBXXEXEBXXE
data TypeXBXBXXEXEXX t :: (* -> (* -> (* -> *) -> *) -> * -> * -> *)
TypeXBXBXXEXEXX :: TypeXBXBXXEXEXX
data TypeXBBXXEXXEBXXE t :: (* -> ((* -> *) -> * -> *) -> (* -> *) -> *)
TypeXBBXXEXXEBXXE :: TypeXBBXXEXXEBXXE
data TypeXBBXXEXXEXX t :: (* -> ((* -> *) -> * -> *) -> * -> * -> *)
TypeXBBXXEXXEXX :: TypeXBBXXEXXEXX
data TypeXBXXXXEBXXE t :: (* -> (* -> * -> * -> *) -> (* -> *) -> *)
TypeXBXXXXEBXXE :: TypeXBXXXXEBXXE
data TypeXBXXXXEXX t :: (* -> (* -> * -> * -> *) -> * -> * -> *)
TypeXBXXXXEXX :: TypeXBXXXXEXX
data TypeBBBXXEXEXEBBXXEXE t :: ((((* -> *) -> *) -> *) -> ((* -> *) -> *) -> *)
TypeBBBXXEXEXEBBXXEXE :: TypeBBBXXEXEXEBBXXEXE
data TypeBBBXXEXEXEBXXXE t :: ((((* -> *) -> *) -> *) -> (* -> * -> *) -> *)
TypeBBBXXEXEXEBXXXE :: TypeBBBXXEXEXEBXXXE
data TypeBBBXXEXEXEXBXXE t :: ((((* -> *) -> *) -> *) -> * -> (* -> *) -> *)
TypeBBBXXEXEXEXBXXE :: TypeBBBXXEXEXEXBXXE
data TypeBBBXXEXEXEBXXEX t :: ((((* -> *) -> *) -> *) -> (* -> *) -> * -> *)
TypeBBBXXEXEXEBXXEX :: TypeBBBXXEXEXEBXXEX
data TypeBBBXXEXEXEXXX t :: ((((* -> *) -> *) -> *) -> * -> * -> * -> *)
TypeBBBXXEXEXEXXX :: TypeBBBXXEXEXEXXX
data TypeBBXXXEXEBBXXEXE t :: (((* -> * -> *) -> *) -> ((* -> *) -> *) -> *)
TypeBBXXXEXEBBXXEXE :: TypeBBXXXEXEBBXXEXE
data TypeBBXXXEXEBXXXE t :: (((* -> * -> *) -> *) -> (* -> * -> *) -> *)
TypeBBXXXEXEBXXXE :: TypeBBXXXEXEBXXXE
data TypeBBXXXEXEXBXXE t :: (((* -> * -> *) -> *) -> * -> (* -> *) -> *)
TypeBBXXXEXEXBXXE :: TypeBBXXXEXEXBXXE
data TypeBBXXXEXEBXXEX t :: (((* -> * -> *) -> *) -> (* -> *) -> * -> *)
TypeBBXXXEXEBXXEX :: TypeBBXXXEXEBXXEX
data TypeBBXXXEXEXXX t :: (((* -> * -> *) -> *) -> * -> * -> * -> *)
TypeBBXXXEXEXXX :: TypeBBXXXEXEXXX
data TypeBXBXXEXEBBXXEXE t :: ((* -> (* -> *) -> *) -> ((* -> *) -> *) -> *)
TypeBXBXXEXEBBXXEXE :: TypeBXBXXEXEBBXXEXE
data TypeBXBXXEXEBXXXE t :: ((* -> (* -> *) -> *) -> (* -> * -> *) -> *)
TypeBXBXXEXEBXXXE :: TypeBXBXXEXEBXXXE
data TypeBXBXXEXEXBXXE t :: ((* -> (* -> *) -> *) -> * -> (* -> *) -> *)
TypeBXBXXEXEXBXXE :: TypeBXBXXEXEXBXXE
data TypeBXBXXEXEBXXEX t :: ((* -> (* -> *) -> *) -> (* -> *) -> * -> *)
TypeBXBXXEXEBXXEX :: TypeBXBXXEXEBXXEX
data TypeBXBXXEXEXXX t :: ((* -> (* -> *) -> *) -> * -> * -> * -> *)
TypeBXBXXEXEXXX :: TypeBXBXXEXEXXX
data TypeBBXXEXXEBBXXEXE t :: (((* -> *) -> * -> *) -> ((* -> *) -> *) -> *)
TypeBBXXEXXEBBXXEXE :: TypeBBXXEXXEBBXXEXE
data TypeBBXXEXXEBXXXE t :: (((* -> *) -> * -> *) -> (* -> * -> *) -> *)
TypeBBXXEXXEBXXXE :: TypeBBXXEXXEBXXXE
data TypeBBXXEXXEXBXXE t :: (((* -> *) -> * -> *) -> * -> (* -> *) -> *)
TypeBBXXEXXEXBXXE :: TypeBBXXEXXEXBXXE
data TypeBBXXEXXEBXXEX t :: (((* -> *) -> * -> *) -> (* -> *) -> * -> *)
TypeBBXXEXXEBXXEX :: TypeBBXXEXXEBXXEX
data TypeBBXXEXXEXXX t :: (((* -> *) -> * -> *) -> * -> * -> * -> *)
TypeBBXXEXXEXXX :: TypeBBXXEXXEXXX
data TypeBXXXXEBBXXEXE t :: ((* -> * -> * -> *) -> ((* -> *) -> *) -> *)
TypeBXXXXEBBXXEXE :: TypeBXXXXEBBXXEXE
data TypeBXXXXEBXXXE t :: ((* -> * -> * -> *) -> (* -> * -> *) -> *)
TypeBXXXXEBXXXE :: TypeBXXXXEBXXXE
data TypeBXXXXEXBXXE t :: ((* -> * -> * -> *) -> * -> (* -> *) -> *)
TypeBXXXXEXBXXE :: TypeBXXXXEXBXXE
data TypeBXXXXEBXXEX t :: ((* -> * -> * -> *) -> (* -> *) -> * -> *)
TypeBXXXXEBXXEX :: TypeBXXXXEBXXEX
data TypeBXXXXEXXX t :: ((* -> * -> * -> *) -> * -> * -> * -> *)
TypeBXXXXEXXX :: TypeBXXXXEXXX
data TypeXXXXBBXXEXE t :: (* -> * -> * -> * -> ((* -> *) -> *) -> *)
TypeXXXXBBXXEXE :: TypeXXXXBBXXEXE
data TypeXXXXBXXXE t :: (* -> * -> * -> * -> (* -> * -> *) -> *)
TypeXXXXBXXXE :: TypeXXXXBXXXE
data TypeXXXBBXXEXEX t :: (* -> * -> * -> ((* -> *) -> *) -> * -> *)
TypeXXXBBXXEXEX :: TypeXXXBBXXEXEX
data TypeXXXBXXXEX t :: (* -> * -> * -> (* -> * -> *) -> * -> *)
TypeXXXBXXXEX :: TypeXXXBXXXEX
data TypeXXBBXXEXEBXXE t :: (* -> * -> ((* -> *) -> *) -> (* -> *) -> *)
TypeXXBBXXEXEBXXE :: TypeXXBBXXEXEBXXE
data TypeXXBBXXEXEXX t :: (* -> * -> ((* -> *) -> *) -> * -> * -> *)
TypeXXBBXXEXEXX :: TypeXXBBXXEXEXX
data TypeXXBXXXEBXXE t :: (* -> * -> (* -> * -> *) -> (* -> *) -> *)
TypeXXBXXXEBXXE :: TypeXXBXXXEBXXE
data TypeXXBXXXEXX t :: (* -> * -> (* -> * -> *) -> * -> * -> *)
TypeXXBXXXEXX :: TypeXXBXXXEXX
data TypeXBBXXEXEBBXXEXE t :: (* -> ((* -> *) -> *) -> ((* -> *) -> *) -> *)
TypeXBBXXEXEBBXXEXE :: TypeXBBXXEXEBBXXEXE
data TypeXBBXXEXEBXXXE t :: (* -> ((* -> *) -> *) -> (* -> * -> *) -> *)
TypeXBBXXEXEBXXXE :: TypeXBBXXEXEBXXXE
data TypeXBBXXEXEXBXXE t :: (* -> ((* -> *) -> *) -> * -> (* -> *) -> *)
TypeXBBXXEXEXBXXE :: TypeXBBXXEXEXBXXE
data TypeXBBXXEXEBXXEX t :: (* -> ((* -> *) -> *) -> (* -> *) -> * -> *)
TypeXBBXXEXEBXXEX :: TypeXBBXXEXEBXXEX
data TypeXBBXXEXEXXX t :: (* -> ((* -> *) -> *) -> * -> * -> * -> *)
TypeXBBXXEXEXXX :: TypeXBBXXEXEXXX
data TypeXBXXXEBBXXEXE t :: (* -> (* -> * -> *) -> ((* -> *) -> *) -> *)
TypeXBXXXEBBXXEXE :: TypeXBXXXEBBXXEXE
data TypeXBXXXEBXXXE t :: (* -> (* -> * -> *) -> (* -> * -> *) -> *)
TypeXBXXXEBXXXE :: TypeXBXXXEBXXXE
data TypeXBXXXEXBXXE t :: (* -> (* -> * -> *) -> * -> (* -> *) -> *)
TypeXBXXXEXBXXE :: TypeXBXXXEXBXXE
data TypeXBXXXEBXXEX t :: (* -> (* -> * -> *) -> (* -> *) -> * -> *)
TypeXBXXXEBXXEX :: TypeXBXXXEBXXEX
data TypeXBXXXEXXX t :: (* -> (* -> * -> *) -> * -> * -> * -> *)
TypeXBXXXEXXX :: TypeXBXXXEXXX
data TypeBBXXEXEBBBXXEXEXE t :: (((* -> *) -> *) -> (((* -> *) -> *) -> *) -> *)
TypeBBXXEXEBBBXXEXEXE :: TypeBBXXEXEBBBXXEXEXE
data TypeBBXXEXEBBXXXEXE t :: (((* -> *) -> *) -> ((* -> * -> *) -> *) -> *)
TypeBBXXEXEBBXXXEXE :: TypeBBXXEXEBBXXXEXE
data TypeBBXXEXEBXBXXEXE t :: (((* -> *) -> *) -> (* -> (* -> *) -> *) -> *)
TypeBBXXEXEBXBXXEXE :: TypeBBXXEXEBXBXXEXE
data TypeBBXXEXEBBXXEXXE t :: (((* -> *) -> *) -> ((* -> *) -> * -> *) -> *)
TypeBBXXEXEBBXXEXXE :: TypeBBXXEXEBBXXEXXE
data TypeBBXXEXEBXXXXE t :: (((* -> *) -> *) -> (* -> * -> * -> *) -> *)
TypeBBXXEXEBXXXXE :: TypeBBXXEXEBXXXXE
data TypeBBXXEXEXBBXXEXE t :: (((* -> *) -> *) -> * -> ((* -> *) -> *) -> *)
TypeBBXXEXEXBBXXEXE :: TypeBBXXEXEXBBXXEXE
data TypeBBXXEXEXBXXXE t :: (((* -> *) -> *) -> * -> (* -> * -> *) -> *)
TypeBBXXEXEXBXXXE :: TypeBBXXEXEXBXXXE
data TypeBBXXEXEBBXXEXEX t :: (((* -> *) -> *) -> ((* -> *) -> *) -> * -> *)
TypeBBXXEXEBBXXEXEX :: TypeBBXXEXEBBXXEXEX
data TypeBBXXEXEBXXXEX t :: (((* -> *) -> *) -> (* -> * -> *) -> * -> *)
TypeBBXXEXEBXXXEX :: TypeBBXXEXEBXXXEX
data TypeBBXXEXEXXBXXE t :: (((* -> *) -> *) -> * -> * -> (* -> *) -> *)
TypeBBXXEXEXXBXXE :: TypeBBXXEXEXXBXXE
data TypeBBXXEXEXBXXEX t :: (((* -> *) -> *) -> * -> (* -> *) -> * -> *)
TypeBBXXEXEXBXXEX :: TypeBBXXEXEXBXXEX
data TypeBBXXEXEBXXEBXXE t :: (((* -> *) -> *) -> (* -> *) -> (* -> *) -> *)
TypeBBXXEXEBXXEBXXE :: TypeBBXXEXEBXXEBXXE
data TypeBBXXEXEBXXEXX t :: (((* -> *) -> *) -> (* -> *) -> * -> * -> *)
TypeBBXXEXEBXXEXX :: TypeBBXXEXEBXXEXX
data TypeBBXXEXEXXXX t :: (((* -> *) -> *) -> * -> * -> * -> * -> *)
TypeBBXXEXEXXXX :: TypeBBXXEXEXXXX
data TypeBXXXEBBBXXEXEXE t :: ((* -> * -> *) -> (((* -> *) -> *) -> *) -> *)
TypeBXXXEBBBXXEXEXE :: TypeBXXXEBBBXXEXEXE
data TypeBXXXEBBXXXEXE t :: ((* -> * -> *) -> ((* -> * -> *) -> *) -> *)
TypeBXXXEBBXXXEXE :: TypeBXXXEBBXXXEXE
data TypeBXXXEBXBXXEXE t :: ((* -> * -> *) -> (* -> (* -> *) -> *) -> *)
TypeBXXXEBXBXXEXE :: TypeBXXXEBXBXXEXE
data TypeBXXXEBBXXEXXE t :: ((* -> * -> *) -> ((* -> *) -> * -> *) -> *)
TypeBXXXEBBXXEXXE :: TypeBXXXEBBXXEXXE
data TypeBXXXEBXXXXE t :: ((* -> * -> *) -> (* -> * -> * -> *) -> *)
TypeBXXXEBXXXXE :: TypeBXXXEBXXXXE
data TypeBXXXEXBBXXEXE t :: ((* -> * -> *) -> * -> ((* -> *) -> *) -> *)
TypeBXXXEXBBXXEXE :: TypeBXXXEXBBXXEXE
data TypeBXXXEXBXXXE t :: ((* -> * -> *) -> * -> (* -> * -> *) -> *)
TypeBXXXEXBXXXE :: TypeBXXXEXBXXXE
data TypeBXXXEBBXXEXEX t :: ((* -> * -> *) -> ((* -> *) -> *) -> * -> *)
TypeBXXXEBBXXEXEX :: TypeBXXXEBBXXEXEX
data TypeBXXXEBXXXEX t :: ((* -> * -> *) -> (* -> * -> *) -> * -> *)
TypeBXXXEBXXXEX :: TypeBXXXEBXXXEX
data TypeBXXXEXXBXXE t :: ((* -> * -> *) -> * -> * -> (* -> *) -> *)
TypeBXXXEXXBXXE :: TypeBXXXEXXBXXE
data TypeBXXXEXBXXEX t :: ((* -> * -> *) -> * -> (* -> *) -> * -> *)
TypeBXXXEXBXXEX :: TypeBXXXEXBXXEX
data TypeBXXXEBXXEBXXE t :: ((* -> * -> *) -> (* -> *) -> (* -> *) -> *)
TypeBXXXEBXXEBXXE :: TypeBXXXEBXXEBXXE
data TypeBXXXEBXXEXX t :: ((* -> * -> *) -> (* -> *) -> * -> * -> *)
TypeBXXXEBXXEXX :: TypeBXXXEBXXEXX
data TypeBXXXEXXXX t :: ((* -> * -> *) -> * -> * -> * -> * -> *)
TypeBXXXEXXXX :: TypeBXXXEXXXX
data TypeXXXXXBXXE t :: (* -> * -> * -> * -> * -> (* -> *) -> *)
TypeXXXXXBXXE :: TypeXXXXXBXXE
data TypeXXXXBXXEX t :: (* -> * -> * -> * -> (* -> *) -> * -> *)
TypeXXXXBXXEX :: TypeXXXXBXXEX
data TypeXXXBXXEBXXE t :: (* -> * -> * -> (* -> *) -> (* -> *) -> *)
TypeXXXBXXEBXXE :: TypeXXXBXXEBXXE
data TypeXXXBXXEXX t :: (* -> * -> * -> (* -> *) -> * -> * -> *)
TypeXXXBXXEXX :: TypeXXXBXXEXX
data TypeXXBXXEBBXXEXE t :: (* -> * -> (* -> *) -> ((* -> *) -> *) -> *)
TypeXXBXXEBBXXEXE :: TypeXXBXXEBBXXEXE
data TypeXXBXXEBXXXE t :: (* -> * -> (* -> *) -> (* -> * -> *) -> *)
TypeXXBXXEBXXXE :: TypeXXBXXEBXXXE
data TypeXXBXXEXBXXE t :: (* -> * -> (* -> *) -> * -> (* -> *) -> *)
TypeXXBXXEXBXXE :: TypeXXBXXEXBXXE
data TypeXXBXXEBXXEX t :: (* -> * -> (* -> *) -> (* -> *) -> * -> *)
TypeXXBXXEBXXEX :: TypeXXBXXEBXXEX
data TypeXXBXXEXXX t :: (* -> * -> (* -> *) -> * -> * -> * -> *)
TypeXXBXXEXXX :: TypeXXBXXEXXX
data TypeXBXXEBBBXXEXEXE t :: (* -> (* -> *) -> (((* -> *) -> *) -> *) -> *)
TypeXBXXEBBBXXEXEXE :: TypeXBXXEBBBXXEXEXE
data TypeXBXXEBBXXXEXE t :: (* -> (* -> *) -> ((* -> * -> *) -> *) -> *)
TypeXBXXEBBXXXEXE :: TypeXBXXEBBXXXEXE
data TypeXBXXEBXBXXEXE t :: (* -> (* -> *) -> (* -> (* -> *) -> *) -> *)
TypeXBXXEBXBXXEXE :: TypeXBXXEBXBXXEXE
data TypeXBXXEBBXXEXXE t :: (* -> (* -> *) -> ((* -> *) -> * -> *) -> *)
TypeXBXXEBBXXEXXE :: TypeXBXXEBBXXEXXE
data TypeXBXXEBXXXXE t :: (* -> (* -> *) -> (* -> * -> * -> *) -> *)
TypeXBXXEBXXXXE :: TypeXBXXEBXXXXE
data TypeXBXXEXBBXXEXE t :: (* -> (* -> *) -> * -> ((* -> *) -> *) -> *)
TypeXBXXEXBBXXEXE :: TypeXBXXEXBBXXEXE
data TypeXBXXEXBXXXE t :: (* -> (* -> *) -> * -> (* -> * -> *) -> *)
TypeXBXXEXBXXXE :: TypeXBXXEXBXXXE
data TypeXBXXEBBXXEXEX t :: (* -> (* -> *) -> ((* -> *) -> *) -> * -> *)
TypeXBXXEBBXXEXEX :: TypeXBXXEBBXXEXEX
data TypeXBXXEBXXXEX t :: (* -> (* -> *) -> (* -> * -> *) -> * -> *)
TypeXBXXEBXXXEX :: TypeXBXXEBXXXEX
data TypeXBXXEXXBXXE t :: (* -> (* -> *) -> * -> * -> (* -> *) -> *)
TypeXBXXEXXBXXE :: TypeXBXXEXXBXXE
data TypeXBXXEXBXXEX t :: (* -> (* -> *) -> * -> (* -> *) -> * -> *)
TypeXBXXEXBXXEX :: TypeXBXXEXBXXEX
data TypeXBXXEBXXEBXXE t :: (* -> (* -> *) -> (* -> *) -> (* -> *) -> *)
TypeXBXXEBXXEBXXE :: TypeXBXXEBXXEBXXE
data TypeXBXXEBXXEXX t :: (* -> (* -> *) -> (* -> *) -> * -> * -> *)
TypeXBXXEBXXEXX :: TypeXBXXEBXXEXX
data TypeXBXXEXXXX t :: (* -> (* -> *) -> * -> * -> * -> * -> *)
TypeXBXXEXXXX :: TypeXBXXEXXXX
data TypeBXXEBBBBXXEXEXEXE t :: ((* -> *) -> ((((* -> *) -> *) -> *) -> *) -> *)
TypeBXXEBBBBXXEXEXEXE :: TypeBXXEBBBBXXEXEXEXE
data TypeBXXEBBBXXXEXEXE t :: ((* -> *) -> (((* -> * -> *) -> *) -> *) -> *)
TypeBXXEBBBXXXEXEXE :: TypeBXXEBBBXXXEXEXE
data TypeBXXEBBXBXXEXEXE t :: ((* -> *) -> ((* -> (* -> *) -> *) -> *) -> *)
TypeBXXEBBXBXXEXEXE :: TypeBXXEBBXBXXEXEXE
data TypeBXXEBBBXXEXXEXE t :: ((* -> *) -> (((* -> *) -> * -> *) -> *) -> *)
TypeBXXEBBBXXEXXEXE :: TypeBXXEBBBXXEXXEXE
data TypeBXXEBBXXXXEXE t :: ((* -> *) -> ((* -> * -> * -> *) -> *) -> *)
TypeBXXEBBXXXXEXE :: TypeBXXEBBXXXXEXE
data TypeBXXEBXBBXXEXEXE t :: ((* -> *) -> (* -> ((* -> *) -> *) -> *) -> *)
TypeBXXEBXBBXXEXEXE :: TypeBXXEBXBBXXEXEXE
data TypeBXXEBXBXXXEXE t :: ((* -> *) -> (* -> (* -> * -> *) -> *) -> *)
TypeBXXEBXBXXXEXE :: TypeBXXEBXBXXXEXE
data TypeBXXEBBBXXEXEXXE t :: ((* -> *) -> (((* -> *) -> *) -> * -> *) -> *)
TypeBXXEBBBXXEXEXXE :: TypeBXXEBBBXXEXEXXE
data TypeBXXEBBXXXEXXE t :: ((* -> *) -> ((* -> * -> *) -> * -> *) -> *)
TypeBXXEBBXXXEXXE :: TypeBXXEBBXXXEXXE
data TypeBXXEBXXBXXEXE t :: ((* -> *) -> (* -> * -> (* -> *) -> *) -> *)
TypeBXXEBXXBXXEXE :: TypeBXXEBXXBXXEXE
data TypeBXXEBXBXXEXXE t :: ((* -> *) -> (* -> (* -> *) -> * -> *) -> *)
TypeBXXEBXBXXEXXE :: TypeBXXEBXBXXEXXE
data TypeBXXEBBXXEBXXEXE t :: ((* -> *) -> ((* -> *) -> (* -> *) -> *) -> *)
TypeBXXEBBXXEBXXEXE :: TypeBXXEBBXXEBXXEXE
data TypeBXXEBBXXEXXXE t :: ((* -> *) -> ((* -> *) -> * -> * -> *) -> *)
TypeBXXEBBXXEXXXE :: TypeBXXEBBXXEXXXE
data TypeBXXEBXXXXXE t :: ((* -> *) -> (* -> * -> * -> * -> *) -> *)
TypeBXXEBXXXXXE :: TypeBXXEBXXXXXE
data TypeBXXEXBBBXXEXEXE t :: ((* -> *) -> * -> (((* -> *) -> *) -> *) -> *)
TypeBXXEXBBBXXEXEXE :: TypeBXXEXBBBXXEXEXE
data TypeBXXEXBBXXXEXE t :: ((* -> *) -> * -> ((* -> * -> *) -> *) -> *)
TypeBXXEXBBXXXEXE :: TypeBXXEXBBXXXEXE
data TypeBXXEXBXBXXEXE t :: ((* -> *) -> * -> (* -> (* -> *) -> *) -> *)
TypeBXXEXBXBXXEXE :: TypeBXXEXBXBXXEXE
data TypeBXXEXBBXXEXXE t :: ((* -> *) -> * -> ((* -> *) -> * -> *) -> *)
TypeBXXEXBBXXEXXE :: TypeBXXEXBBXXEXXE
data TypeBXXEXBXXXXE t :: ((* -> *) -> * -> (* -> * -> * -> *) -> *)
TypeBXXEXBXXXXE :: TypeBXXEXBXXXXE
data TypeBXXEBBBXXEXEXEX t :: ((* -> *) -> (((* -> *) -> *) -> *) -> * -> *)
TypeBXXEBBBXXEXEXEX :: TypeBXXEBBBXXEXEXEX
data TypeBXXEBBXXXEXEX t :: ((* -> *) -> ((* -> * -> *) -> *) -> * -> *)
TypeBXXEBBXXXEXEX :: TypeBXXEBBXXXEXEX
data TypeBXXEBXBXXEXEX t :: ((* -> *) -> (* -> (* -> *) -> *) -> * -> *)
TypeBXXEBXBXXEXEX :: TypeBXXEBXBXXEXEX
data TypeBXXEBBXXEXXEX t :: ((* -> *) -> ((* -> *) -> * -> *) -> * -> *)
TypeBXXEBBXXEXXEX :: TypeBXXEBBXXEXXEX
data TypeBXXEBXXXXEX t :: ((* -> *) -> (* -> * -> * -> *) -> * -> *)
TypeBXXEBXXXXEX :: TypeBXXEBXXXXEX
data TypeBXXEXXBBXXEXE t :: ((* -> *) -> * -> * -> ((* -> *) -> *) -> *)
TypeBXXEXXBBXXEXE :: TypeBXXEXXBBXXEXE
data TypeBXXEXXBXXXE t :: ((* -> *) -> * -> * -> (* -> * -> *) -> *)
TypeBXXEXXBXXXE :: TypeBXXEXXBXXXE
data TypeBXXEXBBXXEXEX t :: ((* -> *) -> * -> ((* -> *) -> *) -> * -> *)
TypeBXXEXBBXXEXEX :: TypeBXXEXBBXXEXEX
data TypeBXXEXBXXXEX t :: ((* -> *) -> * -> (* -> * -> *) -> * -> *)
TypeBXXEXBXXXEX :: TypeBXXEXBXXXEX
data TypeBXXEBBXXEXEBXXE t :: ((* -> *) -> ((* -> *) -> *) -> (* -> *) -> *)
TypeBXXEBBXXEXEBXXE :: TypeBXXEBBXXEXEBXXE
data TypeBXXEBBXXEXEXX t :: ((* -> *) -> ((* -> *) -> *) -> * -> * -> *)
TypeBXXEBBXXEXEXX :: TypeBXXEBBXXEXEXX
data TypeBXXEBXXXEBXXE t :: ((* -> *) -> (* -> * -> *) -> (* -> *) -> *)
TypeBXXEBXXXEBXXE :: TypeBXXEBXXXEBXXE
data TypeBXXEBXXXEXX t :: ((* -> *) -> (* -> * -> *) -> * -> * -> *)
TypeBXXEBXXXEXX :: TypeBXXEBXXXEXX
data TypeBXXEXXXBXXE t :: ((* -> *) -> * -> * -> * -> (* -> *) -> *)
TypeBXXEXXXBXXE :: TypeBXXEXXXBXXE
data TypeBXXEXXBXXEX t :: ((* -> *) -> * -> * -> (* -> *) -> * -> *)
TypeBXXEXXBXXEX :: TypeBXXEXXBXXEX
data TypeBXXEXBXXEBXXE t :: ((* -> *) -> * -> (* -> *) -> (* -> *) -> *)
TypeBXXEXBXXEBXXE :: TypeBXXEXBXXEBXXE
data TypeBXXEXBXXEXX t :: ((* -> *) -> * -> (* -> *) -> * -> * -> *)
TypeBXXEXBXXEXX :: TypeBXXEXBXXEXX
data TypeBXXEBXXEBBXXEXE t :: ((* -> *) -> (* -> *) -> ((* -> *) -> *) -> *)
TypeBXXEBXXEBBXXEXE :: TypeBXXEBXXEBBXXEXE
data TypeBXXEBXXEBXXXE t :: ((* -> *) -> (* -> *) -> (* -> * -> *) -> *)
TypeBXXEBXXEBXXXE :: TypeBXXEBXXEBXXXE
data TypeBXXEBXXEXBXXE t :: ((* -> *) -> (* -> *) -> * -> (* -> *) -> *)
TypeBXXEBXXEXBXXE :: TypeBXXEBXXEXBXXE
data TypeBXXEBXXEBXXEX t :: ((* -> *) -> (* -> *) -> (* -> *) -> * -> *)
TypeBXXEBXXEBXXEX :: TypeBXXEBXXEBXXEX
data TypeBXXEBXXEXXX t :: ((* -> *) -> (* -> *) -> * -> * -> * -> *)
TypeBXXEBXXEXXX :: TypeBXXEBXXEXXX
data TypeBXXEXXXXX t :: ((* -> *) -> * -> * -> * -> * -> * -> *)
TypeBXXEXXXXX :: TypeBXXEXXXXX
data TypeXXXXXXX t :: (* -> * -> * -> * -> * -> * -> * -> *)
TypeXXXXXXX :: TypeXXXXXXX
data TypeBBBBBXXEXEXEXEXE t :: ((((((* -> *) -> *) -> *) -> *) -> *) -> *)
TypeBBBBBXXEXEXEXEXE :: TypeBBBBBXXEXEXEXEXE
data TypeBBBBXXXEXEXEXE t :: (((((* -> * -> *) -> *) -> *) -> *) -> *)
TypeBBBBXXXEXEXEXE :: TypeBBBBXXXEXEXEXE
data TypeBBBXBXXEXEXEXE t :: ((((* -> (* -> *) -> *) -> *) -> *) -> *)
TypeBBBXBXXEXEXEXE :: TypeBBBXBXXEXEXEXE
data TypeBBBBXXEXXEXEXE t :: (((((* -> *) -> * -> *) -> *) -> *) -> *)
TypeBBBBXXEXXEXEXE :: TypeBBBBXXEXXEXEXE
data TypeBBBXXXXEXEXE t :: ((((* -> * -> * -> *) -> *) -> *) -> *)
TypeBBBXXXXEXEXE :: TypeBBBXXXXEXEXE
data TypeBBXBBXXEXEXEXE t :: (((* -> ((* -> *) -> *) -> *) -> *) -> *)
TypeBBXBBXXEXEXEXE :: TypeBBXBBXXEXEXEXE
data TypeBBXBXXXEXEXE t :: (((* -> (* -> * -> *) -> *) -> *) -> *)
TypeBBXBXXXEXEXE :: TypeBBXBXXXEXEXE
data TypeBBBBXXEXEXXEXE t :: (((((* -> *) -> *) -> * -> *) -> *) -> *)
TypeBBBBXXEXEXXEXE :: TypeBBBBXXEXEXXEXE
data TypeBBBXXXEXXEXE t :: ((((* -> * -> *) -> * -> *) -> *) -> *)
TypeBBBXXXEXXEXE :: TypeBBBXXXEXXEXE
data TypeBBXXBXXEXEXE t :: (((* -> * -> (* -> *) -> *) -> *) -> *)
TypeBBXXBXXEXEXE :: TypeBBXXBXXEXEXE
data TypeBBXBXXEXXEXE t :: (((* -> (* -> *) -> * -> *) -> *) -> *)
TypeBBXBXXEXXEXE :: TypeBBXBXXEXXEXE
data TypeBBBXXEBXXEXEXE t :: ((((* -> *) -> (* -> *) -> *) -> *) -> *)
TypeBBBXXEBXXEXEXE :: TypeBBBXXEBXXEXEXE
data TypeBBBXXEXXXEXE t :: ((((* -> *) -> * -> * -> *) -> *) -> *)
TypeBBBXXEXXXEXE :: TypeBBBXXEXXXEXE
data TypeBBXXXXXEXE t :: (((* -> * -> * -> * -> *) -> *) -> *)
TypeBBXXXXXEXE :: TypeBBXXXXXEXE
data TypeBXBBBXXEXEXEXE t :: ((* -> (((* -> *) -> *) -> *) -> *) -> *)
TypeBXBBBXXEXEXEXE :: TypeBXBBBXXEXEXEXE
data TypeBXBBXXXEXEXE t :: ((* -> ((* -> * -> *) -> *) -> *) -> *)
TypeBXBBXXXEXEXE :: TypeBXBBXXXEXEXE
data TypeBXBXBXXEXEXE t :: ((* -> (* -> (* -> *) -> *) -> *) -> *)
TypeBXBXBXXEXEXE :: TypeBXBXBXXEXEXE
data TypeBXBBXXEXXEXE t :: ((* -> ((* -> *) -> * -> *) -> *) -> *)
TypeBXBBXXEXXEXE :: TypeBXBBXXEXXEXE
data TypeBXBXXXXEXE t :: ((* -> (* -> * -> * -> *) -> *) -> *)
TypeBXBXXXXEXE :: TypeBXBXXXXEXE
data TypeBBBBXXEXEXEXXE t :: (((((* -> *) -> *) -> *) -> * -> *) -> *)
TypeBBBBXXEXEXEXXE :: TypeBBBBXXEXEXEXXE
data TypeBBBXXXEXEXXE t :: ((((* -> * -> *) -> *) -> * -> *) -> *)
TypeBBBXXXEXEXXE :: TypeBBBXXXEXEXXE
data TypeBBXBXXEXEXXE t :: (((* -> (* -> *) -> *) -> * -> *) -> *)
TypeBBXBXXEXEXXE :: TypeBBXBXXEXEXXE
data TypeBBBXXEXXEXXE t :: ((((* -> *) -> * -> *) -> * -> *) -> *)
TypeBBBXXEXXEXXE :: TypeBBBXXEXXEXXE
data TypeBBXXXXEXXE t :: (((* -> * -> * -> *) -> * -> *) -> *)
TypeBBXXXXEXXE :: TypeBBXXXXEXXE
data TypeBXXBBXXEXEXE t :: ((* -> * -> ((* -> *) -> *) -> *) -> *)
TypeBXXBBXXEXEXE :: TypeBXXBBXXEXEXE
data TypeBXXBXXXEXE t :: ((* -> * -> (* -> * -> *) -> *) -> *)
TypeBXXBXXXEXE :: TypeBXXBXXXEXE
data TypeBXBBXXEXEXXE t :: ((* -> ((* -> *) -> *) -> * -> *) -> *)
TypeBXBBXXEXEXXE :: TypeBXBBXXEXEXXE
data TypeBXBXXXEXXE t :: ((* -> (* -> * -> *) -> * -> *) -> *)
TypeBXBXXXEXXE :: TypeBXBXXXEXXE
data TypeBBBXXEXEBXXEXE t :: ((((* -> *) -> *) -> (* -> *) -> *) -> *)
TypeBBBXXEXEBXXEXE :: TypeBBBXXEXEBXXEXE
data TypeBBBXXEXEXXXE t :: ((((* -> *) -> *) -> * -> * -> *) -> *)
TypeBBBXXEXEXXXE :: TypeBBBXXEXEXXXE
data TypeBBXXXEBXXEXE t :: (((* -> * -> *) -> (* -> *) -> *) -> *)
TypeBBXXXEBXXEXE :: TypeBBXXXEBXXEXE
data TypeBBXXXEXXXE t :: (((* -> * -> *) -> * -> * -> *) -> *)
TypeBBXXXEXXXE :: TypeBBXXXEXXXE
data TypeBXXXBXXEXE t :: ((* -> * -> * -> (* -> *) -> *) -> *)
TypeBXXXBXXEXE :: TypeBXXXBXXEXE
data TypeBXXBXXEXXE t :: ((* -> * -> (* -> *) -> * -> *) -> *)
TypeBXXBXXEXXE :: TypeBXXBXXEXXE
data TypeBXBXXEBXXEXE t :: ((* -> (* -> *) -> (* -> *) -> *) -> *)
TypeBXBXXEBXXEXE :: TypeBXBXXEBXXEXE
data TypeBXBXXEXXXE t :: ((* -> (* -> *) -> * -> * -> *) -> *)
TypeBXBXXEXXXE :: TypeBXBXXEXXXE
data TypeBBXXEBBXXEXEXE t :: (((* -> *) -> ((* -> *) -> *) -> *) -> *)
TypeBBXXEBBXXEXEXE :: TypeBBXXEBBXXEXEXE
data TypeBBXXEBXXXEXE t :: (((* -> *) -> (* -> * -> *) -> *) -> *)
TypeBBXXEBXXXEXE :: TypeBBXXEBXXXEXE
data TypeBBXXEXBXXEXE t :: (((* -> *) -> * -> (* -> *) -> *) -> *)
TypeBBXXEXBXXEXE :: TypeBBXXEXBXXEXE
data TypeBBXXEBXXEXXE t :: (((* -> *) -> (* -> *) -> * -> *) -> *)
TypeBBXXEBXXEXXE :: TypeBBXXEBXXEXXE
data TypeBBXXEXXXXE t :: (((* -> *) -> * -> * -> * -> *) -> *)
TypeBBXXEXXXXE :: TypeBBXXEXXXXE
data TypeBXXXXXXE t :: ((* -> * -> * -> * -> * -> *) -> *)
TypeBXXXXXXE :: TypeBXXXXXXE
data TypeXBBBBXXEXEXEXE t :: (* -> ((((* -> *) -> *) -> *) -> *) -> *)
TypeXBBBBXXEXEXEXE :: TypeXBBBBXXEXEXEXE
data TypeXBBBXXXEXEXE t :: (* -> (((* -> * -> *) -> *) -> *) -> *)
TypeXBBBXXXEXEXE :: TypeXBBBXXXEXEXE
data TypeXBBXBXXEXEXE t :: (* -> ((* -> (* -> *) -> *) -> *) -> *)
TypeXBBXBXXEXEXE :: TypeXBBXBXXEXEXE
data TypeXBBBXXEXXEXE t :: (* -> (((* -> *) -> * -> *) -> *) -> *)
TypeXBBBXXEXXEXE :: TypeXBBBXXEXXEXE
data TypeXBBXXXXEXE t :: (* -> ((* -> * -> * -> *) -> *) -> *)
TypeXBBXXXXEXE :: TypeXBBXXXXEXE
data TypeXBXBBXXEXEXE t :: (* -> (* -> ((* -> *) -> *) -> *) -> *)
TypeXBXBBXXEXEXE :: TypeXBXBBXXEXEXE
data TypeXBXBXXXEXE t :: (* -> (* -> (* -> * -> *) -> *) -> *)
TypeXBXBXXXEXE :: TypeXBXBXXXEXE
data TypeXBBBXXEXEXXE t :: (* -> (((* -> *) -> *) -> * -> *) -> *)
TypeXBBBXXEXEXXE :: TypeXBBBXXEXEXXE
data TypeXBBXXXEXXE t :: (* -> ((* -> * -> *) -> * -> *) -> *)
TypeXBBXXXEXXE :: TypeXBBXXXEXXE
data TypeXBXXBXXEXE t :: (* -> (* -> * -> (* -> *) -> *) -> *)
TypeXBXXBXXEXE :: TypeXBXXBXXEXE
data TypeXBXBXXEXXE t :: (* -> (* -> (* -> *) -> * -> *) -> *)
TypeXBXBXXEXXE :: TypeXBXBXXEXXE
data TypeXBBXXEBXXEXE t :: (* -> ((* -> *) -> (* -> *) -> *) -> *)
TypeXBBXXEBXXEXE :: TypeXBBXXEBXXEXE
data TypeXBBXXEXXXE t :: (* -> ((* -> *) -> * -> * -> *) -> *)
TypeXBBXXEXXXE :: TypeXBBXXEXXXE
data TypeXBXXXXXE t :: (* -> (* -> * -> * -> * -> *) -> *)
TypeXBXXXXXE :: TypeXBXXXXXE
data TypeBBBBXXEXEXEXEX t :: (((((* -> *) -> *) -> *) -> *) -> * -> *)
TypeBBBBXXEXEXEXEX :: TypeBBBBXXEXEXEXEX
data TypeBBBXXXEXEXEX t :: ((((* -> * -> *) -> *) -> *) -> * -> *)
TypeBBBXXXEXEXEX :: TypeBBBXXXEXEXEX
data TypeBBXBXXEXEXEX t :: (((* -> (* -> *) -> *) -> *) -> * -> *)
TypeBBXBXXEXEXEX :: TypeBBXBXXEXEXEX
data TypeBBBXXEXXEXEX t :: ((((* -> *) -> * -> *) -> *) -> * -> *)
TypeBBBXXEXXEXEX :: TypeBBBXXEXXEXEX
data TypeBBXXXXEXEX t :: (((* -> * -> * -> *) -> *) -> * -> *)
TypeBBXXXXEXEX :: TypeBBXXXXEXEX
data TypeBXBBXXEXEXEX t :: ((* -> ((* -> *) -> *) -> *) -> * -> *)
TypeBXBBXXEXEXEX :: TypeBXBBXXEXEXEX
data TypeBXBXXXEXEX t :: ((* -> (* -> * -> *) -> *) -> * -> *)
TypeBXBXXXEXEX :: TypeBXBXXXEXEX
data TypeBBBXXEXEXXEX t :: ((((* -> *) -> *) -> * -> *) -> * -> *)
TypeBBBXXEXEXXEX :: TypeBBBXXEXEXXEX
data TypeBBXXXEXXEX t :: (((* -> * -> *) -> * -> *) -> * -> *)
TypeBBXXXEXXEX :: TypeBBXXXEXXEX
data TypeBXXBXXEXEX t :: ((* -> * -> (* -> *) -> *) -> * -> *)
TypeBXXBXXEXEX :: TypeBXXBXXEXEX
data TypeBXBXXEXXEX t :: ((* -> (* -> *) -> * -> *) -> * -> *)
TypeBXBXXEXXEX :: TypeBXBXXEXXEX
data TypeBBXXEBXXEXEX t :: (((* -> *) -> (* -> *) -> *) -> * -> *)
TypeBBXXEBXXEXEX :: TypeBBXXEBXXEXEX
data TypeBBXXEXXXEX t :: (((* -> *) -> * -> * -> *) -> * -> *)
TypeBBXXEXXXEX :: TypeBBXXEXXXEX
data TypeBXXXXXEX t :: ((* -> * -> * -> * -> *) -> * -> *)
TypeBXXXXXEX :: TypeBXXXXXEX
data TypeXXBBBXXEXEXE t :: (* -> * -> (((* -> *) -> *) -> *) -> *)
TypeXXBBBXXEXEXE :: TypeXXBBBXXEXEXE
data TypeXXBBXXXEXE t :: (* -> * -> ((* -> * -> *) -> *) -> *)
TypeXXBBXXXEXE :: TypeXXBBXXXEXE
data TypeXXBXBXXEXE t :: (* -> * -> (* -> (* -> *) -> *) -> *)
TypeXXBXBXXEXE :: TypeXXBXBXXEXE
data TypeXXBBXXEXXE t :: (* -> * -> ((* -> *) -> * -> *) -> *)
TypeXXBBXXEXXE :: TypeXXBBXXEXXE
data TypeXXBXXXXE t :: (* -> * -> (* -> * -> * -> *) -> *)
TypeXXBXXXXE :: TypeXXBXXXXE
data TypeXBBBXXEXEXEX t :: (* -> (((* -> *) -> *) -> *) -> * -> *)
TypeXBBBXXEXEXEX :: TypeXBBBXXEXEXEX
data TypeXBBXXXEXEX t :: (* -> ((* -> * -> *) -> *) -> * -> *)
TypeXBBXXXEXEX :: TypeXBBXXXEXEX
data TypeXBXBXXEXEX t :: (* -> (* -> (* -> *) -> *) -> * -> *)
TypeXBXBXXEXEX :: TypeXBXBXXEXEX
data TypeXBBXXEXXEX t :: (* -> ((* -> *) -> * -> *) -> * -> *)
TypeXBBXXEXXEX :: TypeXBBXXEXXEX
data TypeXBXXXXEX t :: (* -> (* -> * -> * -> *) -> * -> *)
TypeXBXXXXEX :: TypeXBXXXXEX
data TypeBBBXXEXEXEBXXE t :: ((((* -> *) -> *) -> *) -> (* -> *) -> *)
TypeBBBXXEXEXEBXXE :: TypeBBBXXEXEXEBXXE
data TypeBBBXXEXEXEXX t :: ((((* -> *) -> *) -> *) -> * -> * -> *)
TypeBBBXXEXEXEXX :: TypeBBBXXEXEXEXX
data TypeBBXXXEXEBXXE t :: (((* -> * -> *) -> *) -> (* -> *) -> *)
TypeBBXXXEXEBXXE :: TypeBBXXXEXEBXXE
data TypeBBXXXEXEXX t :: (((* -> * -> *) -> *) -> * -> * -> *)
TypeBBXXXEXEXX :: TypeBBXXXEXEXX
data TypeBXBXXEXEBXXE t :: ((* -> (* -> *) -> *) -> (* -> *) -> *)
TypeBXBXXEXEBXXE :: TypeBXBXXEXEBXXE
data TypeBXBXXEXEXX t :: ((* -> (* -> *) -> *) -> * -> * -> *)
TypeBXBXXEXEXX :: TypeBXBXXEXEXX
data TypeBBXXEXXEBXXE t :: (((* -> *) -> * -> *) -> (* -> *) -> *)
TypeBBXXEXXEBXXE :: TypeBBXXEXXEBXXE
data TypeBBXXEXXEXX t :: (((* -> *) -> * -> *) -> * -> * -> *)
TypeBBXXEXXEXX :: TypeBBXXEXXEXX
data TypeBXXXXEBXXE t :: ((* -> * -> * -> *) -> (* -> *) -> *)
TypeBXXXXEBXXE :: TypeBXXXXEBXXE
data TypeBXXXXEXX t :: ((* -> * -> * -> *) -> * -> * -> *)
TypeBXXXXEXX :: TypeBXXXXEXX
data TypeXXXBBXXEXE t :: (* -> * -> * -> ((* -> *) -> *) -> *)
TypeXXXBBXXEXE :: TypeXXXBBXXEXE
data TypeXXXBXXXE t :: (* -> * -> * -> (* -> * -> *) -> *)
TypeXXXBXXXE :: TypeXXXBXXXE
data TypeXXBBXXEXEX t :: (* -> * -> ((* -> *) -> *) -> * -> *)
TypeXXBBXXEXEX :: TypeXXBBXXEXEX
data TypeXXBXXXEX t :: (* -> * -> (* -> * -> *) -> * -> *)
TypeXXBXXXEX :: TypeXXBXXXEX
data TypeXBBXXEXEBXXE t :: (* -> ((* -> *) -> *) -> (* -> *) -> *)
TypeXBBXXEXEBXXE :: TypeXBBXXEXEBXXE
data TypeXBBXXEXEXX t :: (* -> ((* -> *) -> *) -> * -> * -> *)
TypeXBBXXEXEXX :: TypeXBBXXEXEXX
data TypeXBXXXEBXXE t :: (* -> (* -> * -> *) -> (* -> *) -> *)
TypeXBXXXEBXXE :: TypeXBXXXEBXXE
data TypeXBXXXEXX t :: (* -> (* -> * -> *) -> * -> * -> *)
TypeXBXXXEXX :: TypeXBXXXEXX
data TypeBBXXEXEBBXXEXE t :: (((* -> *) -> *) -> ((* -> *) -> *) -> *)
TypeBBXXEXEBBXXEXE :: TypeBBXXEXEBBXXEXE
data TypeBBXXEXEBXXXE t :: (((* -> *) -> *) -> (* -> * -> *) -> *)
TypeBBXXEXEBXXXE :: TypeBBXXEXEBXXXE
data TypeBBXXEXEXBXXE t :: (((* -> *) -> *) -> * -> (* -> *) -> *)
TypeBBXXEXEXBXXE :: TypeBBXXEXEXBXXE
data TypeBBXXEXEBXXEX t :: (((* -> *) -> *) -> (* -> *) -> * -> *)
TypeBBXXEXEBXXEX :: TypeBBXXEXEBXXEX
data TypeBBXXEXEXXX t :: (((* -> *) -> *) -> * -> * -> * -> *)
TypeBBXXEXEXXX :: TypeBBXXEXEXXX
data TypeBXXXEBBXXEXE t :: ((* -> * -> *) -> ((* -> *) -> *) -> *)
TypeBXXXEBBXXEXE :: TypeBXXXEBBXXEXE
data TypeBXXXEBXXXE t :: ((* -> * -> *) -> (* -> * -> *) -> *)
TypeBXXXEBXXXE :: TypeBXXXEBXXXE
data TypeBXXXEXBXXE t :: ((* -> * -> *) -> * -> (* -> *) -> *)
TypeBXXXEXBXXE :: TypeBXXXEXBXXE
data TypeBXXXEBXXEX t :: ((* -> * -> *) -> (* -> *) -> * -> *)
TypeBXXXEBXXEX :: TypeBXXXEBXXEX
data TypeBXXXEXXX t :: ((* -> * -> *) -> * -> * -> * -> *)
TypeBXXXEXXX :: TypeBXXXEXXX
data TypeXXXXBXXE t :: (* -> * -> * -> * -> (* -> *) -> *)
TypeXXXXBXXE :: TypeXXXXBXXE
data TypeXXXBXXEX t :: (* -> * -> * -> (* -> *) -> * -> *)
TypeXXXBXXEX :: TypeXXXBXXEX
data TypeXXBXXEBXXE t :: (* -> * -> (* -> *) -> (* -> *) -> *)
TypeXXBXXEBXXE :: TypeXXBXXEBXXE
data TypeXXBXXEXX t :: (* -> * -> (* -> *) -> * -> * -> *)
TypeXXBXXEXX :: TypeXXBXXEXX
data TypeXBXXEBBXXEXE t :: (* -> (* -> *) -> ((* -> *) -> *) -> *)
TypeXBXXEBBXXEXE :: TypeXBXXEBBXXEXE
data TypeXBXXEBXXXE t :: (* -> (* -> *) -> (* -> * -> *) -> *)
TypeXBXXEBXXXE :: TypeXBXXEBXXXE
data TypeXBXXEXBXXE t :: (* -> (* -> *) -> * -> (* -> *) -> *)
TypeXBXXEXBXXE :: TypeXBXXEXBXXE
data TypeXBXXEBXXEX t :: (* -> (* -> *) -> (* -> *) -> * -> *)
TypeXBXXEBXXEX :: TypeXBXXEBXXEX
data TypeXBXXEXXX t :: (* -> (* -> *) -> * -> * -> * -> *)
TypeXBXXEXXX :: TypeXBXXEXXX
data TypeBXXEBBBXXEXEXE t :: ((* -> *) -> (((* -> *) -> *) -> *) -> *)
TypeBXXEBBBXXEXEXE :: TypeBXXEBBBXXEXEXE
data TypeBXXEBBXXXEXE t :: ((* -> *) -> ((* -> * -> *) -> *) -> *)
TypeBXXEBBXXXEXE :: TypeBXXEBBXXXEXE
data TypeBXXEBXBXXEXE t :: ((* -> *) -> (* -> (* -> *) -> *) -> *)
TypeBXXEBXBXXEXE :: TypeBXXEBXBXXEXE
data TypeBXXEBBXXEXXE t :: ((* -> *) -> ((* -> *) -> * -> *) -> *)
TypeBXXEBBXXEXXE :: TypeBXXEBBXXEXXE
data TypeBXXEBXXXXE t :: ((* -> *) -> (* -> * -> * -> *) -> *)
TypeBXXEBXXXXE :: TypeBXXEBXXXXE
data TypeBXXEXBBXXEXE t :: ((* -> *) -> * -> ((* -> *) -> *) -> *)
TypeBXXEXBBXXEXE :: TypeBXXEXBBXXEXE
data TypeBXXEXBXXXE t :: ((* -> *) -> * -> (* -> * -> *) -> *)
TypeBXXEXBXXXE :: TypeBXXEXBXXXE
data TypeBXXEBBXXEXEX t :: ((* -> *) -> ((* -> *) -> *) -> * -> *)
TypeBXXEBBXXEXEX :: TypeBXXEBBXXEXEX
data TypeBXXEBXXXEX t :: ((* -> *) -> (* -> * -> *) -> * -> *)
TypeBXXEBXXXEX :: TypeBXXEBXXXEX
data TypeBXXEXXBXXE t :: ((* -> *) -> * -> * -> (* -> *) -> *)
TypeBXXEXXBXXE :: TypeBXXEXXBXXE
data TypeBXXEXBXXEX t :: ((* -> *) -> * -> (* -> *) -> * -> *)
TypeBXXEXBXXEX :: TypeBXXEXBXXEX
data TypeBXXEBXXEBXXE t :: ((* -> *) -> (* -> *) -> (* -> *) -> *)
TypeBXXEBXXEBXXE :: TypeBXXEBXXEBXXE
data TypeBXXEBXXEXX t :: ((* -> *) -> (* -> *) -> * -> * -> *)
TypeBXXEBXXEXX :: TypeBXXEBXXEXX
data TypeBXXEXXXX t :: ((* -> *) -> * -> * -> * -> * -> *)
TypeBXXEXXXX :: TypeBXXEXXXX
data TypeXXXXXX t :: (* -> * -> * -> * -> * -> * -> *)
TypeXXXXXX :: TypeXXXXXX
data TypeBBBBXXEXEXEXE t :: (((((* -> *) -> *) -> *) -> *) -> *)
TypeBBBBXXEXEXEXE :: TypeBBBBXXEXEXEXE
data TypeBBBXXXEXEXE t :: ((((* -> * -> *) -> *) -> *) -> *)
TypeBBBXXXEXEXE :: TypeBBBXXXEXEXE
data TypeBBXBXXEXEXE t :: (((* -> (* -> *) -> *) -> *) -> *)
TypeBBXBXXEXEXE :: TypeBBXBXXEXEXE
data TypeBBBXXEXXEXE t :: ((((* -> *) -> * -> *) -> *) -> *)
TypeBBBXXEXXEXE :: TypeBBBXXEXXEXE
data TypeBBXXXXEXE t :: (((* -> * -> * -> *) -> *) -> *)
TypeBBXXXXEXE :: TypeBBXXXXEXE
data TypeBXBBXXEXEXE t :: ((* -> ((* -> *) -> *) -> *) -> *)
TypeBXBBXXEXEXE :: TypeBXBBXXEXEXE
data TypeBXBXXXEXE t :: ((* -> (* -> * -> *) -> *) -> *)
TypeBXBXXXEXE :: TypeBXBXXXEXE
data TypeBBBXXEXEXXE t :: ((((* -> *) -> *) -> * -> *) -> *)
TypeBBBXXEXEXXE :: TypeBBBXXEXEXXE
data TypeBBXXXEXXE t :: (((* -> * -> *) -> * -> *) -> *)
TypeBBXXXEXXE :: TypeBBXXXEXXE
data TypeBXXBXXEXE t :: ((* -> * -> (* -> *) -> *) -> *)
TypeBXXBXXEXE :: TypeBXXBXXEXE
data TypeBXBXXEXXE t :: ((* -> (* -> *) -> * -> *) -> *)
TypeBXBXXEXXE :: TypeBXBXXEXXE
data TypeBBXXEBXXEXE t :: (((* -> *) -> (* -> *) -> *) -> *)
TypeBBXXEBXXEXE :: TypeBBXXEBXXEXE
data TypeBBXXEXXXE t :: (((* -> *) -> * -> * -> *) -> *)
TypeBBXXEXXXE :: TypeBBXXEXXXE
data TypeBXXXXXE t :: ((* -> * -> * -> * -> *) -> *)
TypeBXXXXXE :: TypeBXXXXXE
data TypeXBBBXXEXEXE t :: (* -> (((* -> *) -> *) -> *) -> *)
TypeXBBBXXEXEXE :: TypeXBBBXXEXEXE
data TypeXBBXXXEXE t :: (* -> ((* -> * -> *) -> *) -> *)
TypeXBBXXXEXE :: TypeXBBXXXEXE
data TypeXBXBXXEXE t :: (* -> (* -> (* -> *) -> *) -> *)
TypeXBXBXXEXE :: TypeXBXBXXEXE
data TypeXBBXXEXXE t :: (* -> ((* -> *) -> * -> *) -> *)
TypeXBBXXEXXE :: TypeXBBXXEXXE
data TypeXBXXXXE t :: (* -> (* -> * -> * -> *) -> *)
TypeXBXXXXE :: TypeXBXXXXE
data TypeBBBXXEXEXEX t :: ((((* -> *) -> *) -> *) -> * -> *)
TypeBBBXXEXEXEX :: TypeBBBXXEXEXEX
data TypeBBXXXEXEX t :: (((* -> * -> *) -> *) -> * -> *)
TypeBBXXXEXEX :: TypeBBXXXEXEX
data TypeBXBXXEXEX t :: ((* -> (* -> *) -> *) -> * -> *)
TypeBXBXXEXEX :: TypeBXBXXEXEX
data TypeBBXXEXXEX t :: (((* -> *) -> * -> *) -> * -> *)
TypeBBXXEXXEX :: TypeBBXXEXXEX
data TypeBXXXXEX t :: ((* -> * -> * -> *) -> * -> *)
TypeBXXXXEX :: TypeBXXXXEX
data TypeXXBBXXEXE t :: (* -> * -> ((* -> *) -> *) -> *)
TypeXXBBXXEXE :: TypeXXBBXXEXE
data TypeXXBXXXE t :: (* -> * -> (* -> * -> *) -> *)
TypeXXBXXXE :: TypeXXBXXXE
data TypeXBBXXEXEX t :: (* -> ((* -> *) -> *) -> * -> *)
TypeXBBXXEXEX :: TypeXBBXXEXEX
data TypeXBXXXEX t :: (* -> (* -> * -> *) -> * -> *)
TypeXBXXXEX :: TypeXBXXXEX
data TypeBBXXEXEBXXE t :: (((* -> *) -> *) -> (* -> *) -> *)
TypeBBXXEXEBXXE :: TypeBBXXEXEBXXE
data TypeBBXXEXEXX t :: (((* -> *) -> *) -> * -> * -> *)
TypeBBXXEXEXX :: TypeBBXXEXEXX
data TypeBXXXEBXXE t :: ((* -> * -> *) -> (* -> *) -> *)
TypeBXXXEBXXE :: TypeBXXXEBXXE
data TypeBXXXEXX t :: ((* -> * -> *) -> * -> * -> *)
TypeBXXXEXX :: TypeBXXXEXX
data TypeXXXBXXE t :: (* -> * -> * -> (* -> *) -> *)
TypeXXXBXXE :: TypeXXXBXXE
data TypeXXBXXEX t :: (* -> * -> (* -> *) -> * -> *)
TypeXXBXXEX :: TypeXXBXXEX
data TypeXBXXEBXXE t :: (* -> (* -> *) -> (* -> *) -> *)
TypeXBXXEBXXE :: TypeXBXXEBXXE
data TypeXBXXEXX t :: (* -> (* -> *) -> * -> * -> *)
TypeXBXXEXX :: TypeXBXXEXX
data TypeBXXEBBXXEXE t :: ((* -> *) -> ((* -> *) -> *) -> *)
TypeBXXEBBXXEXE :: TypeBXXEBBXXEXE
data TypeBXXEBXXXE t :: ((* -> *) -> (* -> * -> *) -> *)
TypeBXXEBXXXE :: TypeBXXEBXXXE
data TypeBXXEXBXXE t :: ((* -> *) -> * -> (* -> *) -> *)
TypeBXXEXBXXE :: TypeBXXEXBXXE
data TypeBXXEBXXEX t :: ((* -> *) -> (* -> *) -> * -> *)
TypeBXXEBXXEX :: TypeBXXEBXXEX
data TypeBXXEXXX t :: ((* -> *) -> * -> * -> * -> *)
TypeBXXEXXX :: TypeBXXEXXX
data TypeXXXXX t :: (* -> * -> * -> * -> * -> *)
TypeXXXXX :: TypeXXXXX
data TypeBBBXXEXEXE t :: ((((* -> *) -> *) -> *) -> *)
TypeBBBXXEXEXE :: TypeBBBXXEXEXE
data TypeBBXXXEXE t :: (((* -> * -> *) -> *) -> *)
TypeBBXXXEXE :: TypeBBXXXEXE
data TypeBXBXXEXE t :: ((* -> (* -> *) -> *) -> *)
TypeBXBXXEXE :: TypeBXBXXEXE
data TypeBBXXEXXE t :: (((* -> *) -> * -> *) -> *)
TypeBBXXEXXE :: TypeBBXXEXXE
data TypeBXXXXE t :: ((* -> * -> * -> *) -> *)
TypeBXXXXE :: TypeBXXXXE
data TypeXBBXXEXE t :: (* -> ((* -> *) -> *) -> *)
TypeXBBXXEXE :: TypeXBBXXEXE
data TypeXBXXXE t :: (* -> (* -> * -> *) -> *)
TypeXBXXXE :: TypeXBXXXE
data TypeBBXXEXEX t :: (((* -> *) -> *) -> * -> *)
TypeBBXXEXEX :: TypeBBXXEXEX
data TypeBXXXEX t :: ((* -> * -> *) -> * -> *)
TypeBXXXEX :: TypeBXXXEX
data TypeXXBXXE t :: (* -> * -> (* -> *) -> *)
TypeXXBXXE :: TypeXXBXXE
data TypeXBXXEX t :: (* -> (* -> *) -> * -> *)
TypeXBXXEX :: TypeXBXXEX
data TypeBXXEBXXE t :: ((* -> *) -> (* -> *) -> *)
TypeBXXEBXXE :: TypeBXXEBXXE
data TypeBXXEXX t :: ((* -> *) -> * -> * -> *)
TypeBXXEXX :: TypeBXXEXX
data TypeXXXX t :: (* -> * -> * -> * -> *)
TypeXXXX :: TypeXXXX
data TypeBBXXEXE t :: (((* -> *) -> *) -> *)
TypeBBXXEXE :: TypeBBXXEXE
data TypeBXXXE t :: ((* -> * -> *) -> *)
TypeBXXXE :: TypeBXXXE
data TypeXBXXE t :: (* -> (* -> *) -> *)
TypeXBXXE :: TypeXBXXE
data TypeBXXEX t :: ((* -> *) -> * -> *)
TypeBXXEX :: TypeBXXEX
data TypeXXX t :: (* -> * -> * -> *)
TypeXXX :: TypeXXX
data TypeBXXE t :: ((* -> *) -> *)
TypeBXXE :: TypeBXXE
data TypeXX t :: (* -> * -> *)
TypeXX :: TypeXX
data TypeX t :: (* -> *)
TypeX :: TypeX
data Type t
Type :: Type
class MetaBBBBBBXXEXEXEXEXEXE t :: (((((((* -> *) -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBBBBBXXEXEXEXEXEXE :: (MetaBBBBBBXXEXEXEXEXEXE t) => TypeBBBBBBXXEXEXEXEXEXE t -> TypeID
class MetaBBBBBXXXEXEXEXEXE t :: ((((((* -> * -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBBBBXXXEXEXEXEXE :: (MetaBBBBBXXXEXEXEXEXE t) => TypeBBBBBXXXEXEXEXEXE t -> TypeID
class MetaBBBBXBXXEXEXEXEXE t :: (((((* -> (* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBBBXBXXEXEXEXEXE :: (MetaBBBBXBXXEXEXEXEXE t) => TypeBBBBXBXXEXEXEXEXE t -> TypeID
class MetaBBBBBXXEXXEXEXEXE t :: ((((((* -> *) -> * -> *) -> *) -> *) -> *) -> *)
typeIDBBBBBXXEXXEXEXEXE :: (MetaBBBBBXXEXXEXEXEXE t) => TypeBBBBBXXEXXEXEXEXE t -> TypeID
class MetaBBBBXXXXEXEXEXE t :: (((((* -> * -> * -> *) -> *) -> *) -> *) -> *)
typeIDBBBBXXXXEXEXEXE :: (MetaBBBBXXXXEXEXEXE t) => TypeBBBBXXXXEXEXEXE t -> TypeID
class MetaBBBXBBXXEXEXEXEXE t :: ((((* -> ((* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBBXBBXXEXEXEXEXE :: (MetaBBBXBBXXEXEXEXEXE t) => TypeBBBXBBXXEXEXEXEXE t -> TypeID
class MetaBBBXBXXXEXEXEXE t :: ((((* -> (* -> * -> *) -> *) -> *) -> *) -> *)
typeIDBBBXBXXXEXEXEXE :: (MetaBBBXBXXXEXEXEXE t) => TypeBBBXBXXXEXEXEXE t -> TypeID
class MetaBBBBBXXEXEXXEXEXE t :: ((((((* -> *) -> *) -> * -> *) -> *) -> *) -> *)
typeIDBBBBBXXEXEXXEXEXE :: (MetaBBBBBXXEXEXXEXEXE t) => TypeBBBBBXXEXEXXEXEXE t -> TypeID
class MetaBBBBXXXEXXEXEXE t :: (((((* -> * -> *) -> * -> *) -> *) -> *) -> *)
typeIDBBBBXXXEXXEXEXE :: (MetaBBBBXXXEXXEXEXE t) => TypeBBBBXXXEXXEXEXE t -> TypeID
class MetaBBBXXBXXEXEXEXE t :: ((((* -> * -> (* -> *) -> *) -> *) -> *) -> *)
typeIDBBBXXBXXEXEXEXE :: (MetaBBBXXBXXEXEXEXE t) => TypeBBBXXBXXEXEXEXE t -> TypeID
class MetaBBBXBXXEXXEXEXE t :: ((((* -> (* -> *) -> * -> *) -> *) -> *) -> *)
typeIDBBBXBXXEXXEXEXE :: (MetaBBBXBXXEXXEXEXE t) => TypeBBBXBXXEXXEXEXE t -> TypeID
class MetaBBBBXXEBXXEXEXEXE t :: (((((* -> *) -> (* -> *) -> *) -> *) -> *) -> *)
typeIDBBBBXXEBXXEXEXEXE :: (MetaBBBBXXEBXXEXEXEXE t) => TypeBBBBXXEBXXEXEXEXE t -> TypeID
class MetaBBBBXXEXXXEXEXE t :: (((((* -> *) -> * -> * -> *) -> *) -> *) -> *)
typeIDBBBBXXEXXXEXEXE :: (MetaBBBBXXEXXXEXEXE t) => TypeBBBBXXEXXXEXEXE t -> TypeID
class MetaBBBXXXXXEXEXE t :: ((((* -> * -> * -> * -> *) -> *) -> *) -> *)
typeIDBBBXXXXXEXEXE :: (MetaBBBXXXXXEXEXE t) => TypeBBBXXXXXEXEXE t -> TypeID
class MetaBBXBBBXXEXEXEXEXE t :: (((* -> (((* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBXBBBXXEXEXEXEXE :: (MetaBBXBBBXXEXEXEXEXE t) => TypeBBXBBBXXEXEXEXEXE t -> TypeID
class MetaBBXBBXXXEXEXEXE t :: (((* -> ((* -> * -> *) -> *) -> *) -> *) -> *)
typeIDBBXBBXXXEXEXEXE :: (MetaBBXBBXXXEXEXEXE t) => TypeBBXBBXXXEXEXEXE t -> TypeID
class MetaBBXBXBXXEXEXEXE t :: (((* -> (* -> (* -> *) -> *) -> *) -> *) -> *)
typeIDBBXBXBXXEXEXEXE :: (MetaBBXBXBXXEXEXEXE t) => TypeBBXBXBXXEXEXEXE t -> TypeID
class MetaBBXBBXXEXXEXEXE t :: (((* -> ((* -> *) -> * -> *) -> *) -> *) -> *)
typeIDBBXBBXXEXXEXEXE :: (MetaBBXBBXXEXXEXEXE t) => TypeBBXBBXXEXXEXEXE t -> TypeID
class MetaBBXBXXXXEXEXE t :: (((* -> (* -> * -> * -> *) -> *) -> *) -> *)
typeIDBBXBXXXXEXEXE :: (MetaBBXBXXXXEXEXE t) => TypeBBXBXXXXEXEXE t -> TypeID
class MetaBBBBBXXEXEXEXXEXE t :: ((((((* -> *) -> *) -> *) -> * -> *) -> *) -> *)
typeIDBBBBBXXEXEXEXXEXE :: (MetaBBBBBXXEXEXEXXEXE t) => TypeBBBBBXXEXEXEXXEXE t -> TypeID
class MetaBBBBXXXEXEXXEXE t :: (((((* -> * -> *) -> *) -> * -> *) -> *) -> *)
typeIDBBBBXXXEXEXXEXE :: (MetaBBBBXXXEXEXXEXE t) => TypeBBBBXXXEXEXXEXE t -> TypeID
class MetaBBBXBXXEXEXXEXE t :: ((((* -> (* -> *) -> *) -> * -> *) -> *) -> *)
typeIDBBBXBXXEXEXXEXE :: (MetaBBBXBXXEXEXXEXE t) => TypeBBBXBXXEXEXXEXE t -> TypeID
class MetaBBBBXXEXXEXXEXE t :: (((((* -> *) -> * -> *) -> * -> *) -> *) -> *)
typeIDBBBBXXEXXEXXEXE :: (MetaBBBBXXEXXEXXEXE t) => TypeBBBBXXEXXEXXEXE t -> TypeID
class MetaBBBXXXXEXXEXE t :: ((((* -> * -> * -> *) -> * -> *) -> *) -> *)
typeIDBBBXXXXEXXEXE :: (MetaBBBXXXXEXXEXE t) => TypeBBBXXXXEXXEXE t -> TypeID
class MetaBBXXBBXXEXEXEXE t :: (((* -> * -> ((* -> *) -> *) -> *) -> *) -> *)
typeIDBBXXBBXXEXEXEXE :: (MetaBBXXBBXXEXEXEXE t) => TypeBBXXBBXXEXEXEXE t -> TypeID
class MetaBBXXBXXXEXEXE t :: (((* -> * -> (* -> * -> *) -> *) -> *) -> *)
typeIDBBXXBXXXEXEXE :: (MetaBBXXBXXXEXEXE t) => TypeBBXXBXXXEXEXE t -> TypeID
class MetaBBXBBXXEXEXXEXE t :: (((* -> ((* -> *) -> *) -> * -> *) -> *) -> *)
typeIDBBXBBXXEXEXXEXE :: (MetaBBXBBXXEXEXXEXE t) => TypeBBXBBXXEXEXXEXE t -> TypeID
class MetaBBXBXXXEXXEXE t :: (((* -> (* -> * -> *) -> * -> *) -> *) -> *)
typeIDBBXBXXXEXXEXE :: (MetaBBXBXXXEXXEXE t) => TypeBBXBXXXEXXEXE t -> TypeID
class MetaBBBBXXEXEBXXEXEXE t :: (((((* -> *) -> *) -> (* -> *) -> *) -> *) -> *)
typeIDBBBBXXEXEBXXEXEXE :: (MetaBBBBXXEXEBXXEXEXE t) => TypeBBBBXXEXEBXXEXEXE t -> TypeID
class MetaBBBBXXEXEXXXEXE t :: (((((* -> *) -> *) -> * -> * -> *) -> *) -> *)
typeIDBBBBXXEXEXXXEXE :: (MetaBBBBXXEXEXXXEXE t) => TypeBBBBXXEXEXXXEXE t -> TypeID
class MetaBBBXXXEBXXEXEXE t :: ((((* -> * -> *) -> (* -> *) -> *) -> *) -> *)
typeIDBBBXXXEBXXEXEXE :: (MetaBBBXXXEBXXEXEXE t) => TypeBBBXXXEBXXEXEXE t -> TypeID
class MetaBBBXXXEXXXEXE t :: ((((* -> * -> *) -> * -> * -> *) -> *) -> *)
typeIDBBBXXXEXXXEXE :: (MetaBBBXXXEXXXEXE t) => TypeBBBXXXEXXXEXE t -> TypeID
class MetaBBXXXBXXEXEXE t :: (((* -> * -> * -> (* -> *) -> *) -> *) -> *)
typeIDBBXXXBXXEXEXE :: (MetaBBXXXBXXEXEXE t) => TypeBBXXXBXXEXEXE t -> TypeID
class MetaBBXXBXXEXXEXE t :: (((* -> * -> (* -> *) -> * -> *) -> *) -> *)
typeIDBBXXBXXEXXEXE :: (MetaBBXXBXXEXXEXE t) => TypeBBXXBXXEXXEXE t -> TypeID
class MetaBBXBXXEBXXEXEXE t :: (((* -> (* -> *) -> (* -> *) -> *) -> *) -> *)
typeIDBBXBXXEBXXEXEXE :: (MetaBBXBXXEBXXEXEXE t) => TypeBBXBXXEBXXEXEXE t -> TypeID
class MetaBBXBXXEXXXEXE t :: (((* -> (* -> *) -> * -> * -> *) -> *) -> *)
typeIDBBXBXXEXXXEXE :: (MetaBBXBXXEXXXEXE t) => TypeBBXBXXEXXXEXE t -> TypeID
class MetaBBBXXEBBXXEXEXEXE t :: ((((* -> *) -> ((* -> *) -> *) -> *) -> *) -> *)
typeIDBBBXXEBBXXEXEXEXE :: (MetaBBBXXEBBXXEXEXEXE t) => TypeBBBXXEBBXXEXEXEXE t -> TypeID
class MetaBBBXXEBXXXEXEXE t :: ((((* -> *) -> (* -> * -> *) -> *) -> *) -> *)
typeIDBBBXXEBXXXEXEXE :: (MetaBBBXXEBXXXEXEXE t) => TypeBBBXXEBXXXEXEXE t -> TypeID
class MetaBBBXXEXBXXEXEXE t :: ((((* -> *) -> * -> (* -> *) -> *) -> *) -> *)
typeIDBBBXXEXBXXEXEXE :: (MetaBBBXXEXBXXEXEXE t) => TypeBBBXXEXBXXEXEXE t -> TypeID
class MetaBBBXXEBXXEXXEXE t :: ((((* -> *) -> (* -> *) -> * -> *) -> *) -> *)
typeIDBBBXXEBXXEXXEXE :: (MetaBBBXXEBXXEXXEXE t) => TypeBBBXXEBXXEXXEXE t -> TypeID
class MetaBBBXXEXXXXEXE t :: ((((* -> *) -> * -> * -> * -> *) -> *) -> *)
typeIDBBBXXEXXXXEXE :: (MetaBBBXXEXXXXEXE t) => TypeBBBXXEXXXXEXE t -> TypeID
class MetaBBXXXXXXEXE t :: (((* -> * -> * -> * -> * -> *) -> *) -> *)
typeIDBBXXXXXXEXE :: (MetaBBXXXXXXEXE t) => TypeBBXXXXXXEXE t -> TypeID
class MetaBXBBBBXXEXEXEXEXE t :: ((* -> ((((* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBXBBBBXXEXEXEXEXE :: (MetaBXBBBBXXEXEXEXEXE t) => TypeBXBBBBXXEXEXEXEXE t -> TypeID
class MetaBXBBBXXXEXEXEXE t :: ((* -> (((* -> * -> *) -> *) -> *) -> *) -> *)
typeIDBXBBBXXXEXEXEXE :: (MetaBXBBBXXXEXEXEXE t) => TypeBXBBBXXXEXEXEXE t -> TypeID
class MetaBXBBXBXXEXEXEXE t :: ((* -> ((* -> (* -> *) -> *) -> *) -> *) -> *)
typeIDBXBBXBXXEXEXEXE :: (MetaBXBBXBXXEXEXEXE t) => TypeBXBBXBXXEXEXEXE t -> TypeID
class MetaBXBBBXXEXXEXEXE t :: ((* -> (((* -> *) -> * -> *) -> *) -> *) -> *)
typeIDBXBBBXXEXXEXEXE :: (MetaBXBBBXXEXXEXEXE t) => TypeBXBBBXXEXXEXEXE t -> TypeID
class MetaBXBBXXXXEXEXE t :: ((* -> ((* -> * -> * -> *) -> *) -> *) -> *)
typeIDBXBBXXXXEXEXE :: (MetaBXBBXXXXEXEXE t) => TypeBXBBXXXXEXEXE t -> TypeID
class MetaBXBXBBXXEXEXEXE t :: ((* -> (* -> ((* -> *) -> *) -> *) -> *) -> *)
typeIDBXBXBBXXEXEXEXE :: (MetaBXBXBBXXEXEXEXE t) => TypeBXBXBBXXEXEXEXE t -> TypeID
class MetaBXBXBXXXEXEXE t :: ((* -> (* -> (* -> * -> *) -> *) -> *) -> *)
typeIDBXBXBXXXEXEXE :: (MetaBXBXBXXXEXEXE t) => TypeBXBXBXXXEXEXE t -> TypeID
class MetaBXBBBXXEXEXXEXE t :: ((* -> (((* -> *) -> *) -> * -> *) -> *) -> *)
typeIDBXBBBXXEXEXXEXE :: (MetaBXBBBXXEXEXXEXE t) => TypeBXBBBXXEXEXXEXE t -> TypeID
class MetaBXBBXXXEXXEXE t :: ((* -> ((* -> * -> *) -> * -> *) -> *) -> *)
typeIDBXBBXXXEXXEXE :: (MetaBXBBXXXEXXEXE t) => TypeBXBBXXXEXXEXE t -> TypeID
class MetaBXBXXBXXEXEXE t :: ((* -> (* -> * -> (* -> *) -> *) -> *) -> *)
typeIDBXBXXBXXEXEXE :: (MetaBXBXXBXXEXEXE t) => TypeBXBXXBXXEXEXE t -> TypeID
class MetaBXBXBXXEXXEXE t :: ((* -> (* -> (* -> *) -> * -> *) -> *) -> *)
typeIDBXBXBXXEXXEXE :: (MetaBXBXBXXEXXEXE t) => TypeBXBXBXXEXXEXE t -> TypeID
class MetaBXBBXXEBXXEXEXE t :: ((* -> ((* -> *) -> (* -> *) -> *) -> *) -> *)
typeIDBXBBXXEBXXEXEXE :: (MetaBXBBXXEBXXEXEXE t) => TypeBXBBXXEBXXEXEXE t -> TypeID
class MetaBXBBXXEXXXEXE t :: ((* -> ((* -> *) -> * -> * -> *) -> *) -> *)
typeIDBXBBXXEXXXEXE :: (MetaBXBBXXEXXXEXE t) => TypeBXBBXXEXXXEXE t -> TypeID
class MetaBXBXXXXXEXE t :: ((* -> (* -> * -> * -> * -> *) -> *) -> *)
typeIDBXBXXXXXEXE :: (MetaBXBXXXXXEXE t) => TypeBXBXXXXXEXE t -> TypeID
class MetaBBBBBXXEXEXEXEXXE t :: ((((((* -> *) -> *) -> *) -> *) -> * -> *) -> *)
typeIDBBBBBXXEXEXEXEXXE :: (MetaBBBBBXXEXEXEXEXXE t) => TypeBBBBBXXEXEXEXEXXE t -> TypeID
class MetaBBBBXXXEXEXEXXE t :: (((((* -> * -> *) -> *) -> *) -> * -> *) -> *)
typeIDBBBBXXXEXEXEXXE :: (MetaBBBBXXXEXEXEXXE t) => TypeBBBBXXXEXEXEXXE t -> TypeID
class MetaBBBXBXXEXEXEXXE t :: ((((* -> (* -> *) -> *) -> *) -> * -> *) -> *)
typeIDBBBXBXXEXEXEXXE :: (MetaBBBXBXXEXEXEXXE t) => TypeBBBXBXXEXEXEXXE t -> TypeID
class MetaBBBBXXEXXEXEXXE t :: (((((* -> *) -> * -> *) -> *) -> * -> *) -> *)
typeIDBBBBXXEXXEXEXXE :: (MetaBBBBXXEXXEXEXXE t) => TypeBBBBXXEXXEXEXXE t -> TypeID
class MetaBBBXXXXEXEXXE t :: ((((* -> * -> * -> *) -> *) -> * -> *) -> *)
typeIDBBBXXXXEXEXXE :: (MetaBBBXXXXEXEXXE t) => TypeBBBXXXXEXEXXE t -> TypeID
class MetaBBXBBXXEXEXEXXE t :: (((* -> ((* -> *) -> *) -> *) -> * -> *) -> *)
typeIDBBXBBXXEXEXEXXE :: (MetaBBXBBXXEXEXEXXE t) => TypeBBXBBXXEXEXEXXE t -> TypeID
class MetaBBXBXXXEXEXXE t :: (((* -> (* -> * -> *) -> *) -> * -> *) -> *)
typeIDBBXBXXXEXEXXE :: (MetaBBXBXXXEXEXXE t) => TypeBBXBXXXEXEXXE t -> TypeID
class MetaBBBBXXEXEXXEXXE t :: (((((* -> *) -> *) -> * -> *) -> * -> *) -> *)
typeIDBBBBXXEXEXXEXXE :: (MetaBBBBXXEXEXXEXXE t) => TypeBBBBXXEXEXXEXXE t -> TypeID
class MetaBBBXXXEXXEXXE t :: ((((* -> * -> *) -> * -> *) -> * -> *) -> *)
typeIDBBBXXXEXXEXXE :: (MetaBBBXXXEXXEXXE t) => TypeBBBXXXEXXEXXE t -> TypeID
class MetaBBXXBXXEXEXXE t :: (((* -> * -> (* -> *) -> *) -> * -> *) -> *)
typeIDBBXXBXXEXEXXE :: (MetaBBXXBXXEXEXXE t) => TypeBBXXBXXEXEXXE t -> TypeID
class MetaBBXBXXEXXEXXE t :: (((* -> (* -> *) -> * -> *) -> * -> *) -> *)
typeIDBBXBXXEXXEXXE :: (MetaBBXBXXEXXEXXE t) => TypeBBXBXXEXXEXXE t -> TypeID
class MetaBBBXXEBXXEXEXXE t :: ((((* -> *) -> (* -> *) -> *) -> * -> *) -> *)
typeIDBBBXXEBXXEXEXXE :: (MetaBBBXXEBXXEXEXXE t) => TypeBBBXXEBXXEXEXXE t -> TypeID
class MetaBBBXXEXXXEXXE t :: ((((* -> *) -> * -> * -> *) -> * -> *) -> *)
typeIDBBBXXEXXXEXXE :: (MetaBBBXXEXXXEXXE t) => TypeBBBXXEXXXEXXE t -> TypeID
class MetaBBXXXXXEXXE t :: (((* -> * -> * -> * -> *) -> * -> *) -> *)
typeIDBBXXXXXEXXE :: (MetaBBXXXXXEXXE t) => TypeBBXXXXXEXXE t -> TypeID
class MetaBXXBBBXXEXEXEXE t :: ((* -> * -> (((* -> *) -> *) -> *) -> *) -> *)
typeIDBXXBBBXXEXEXEXE :: (MetaBXXBBBXXEXEXEXE t) => TypeBXXBBBXXEXEXEXE t -> TypeID
class MetaBXXBBXXXEXEXE t :: ((* -> * -> ((* -> * -> *) -> *) -> *) -> *)
typeIDBXXBBXXXEXEXE :: (MetaBXXBBXXXEXEXE t) => TypeBXXBBXXXEXEXE t -> TypeID
class MetaBXXBXBXXEXEXE t :: ((* -> * -> (* -> (* -> *) -> *) -> *) -> *)
typeIDBXXBXBXXEXEXE :: (MetaBXXBXBXXEXEXE t) => TypeBXXBXBXXEXEXE t -> TypeID
class MetaBXXBBXXEXXEXE t :: ((* -> * -> ((* -> *) -> * -> *) -> *) -> *)
typeIDBXXBBXXEXXEXE :: (MetaBXXBBXXEXXEXE t) => TypeBXXBBXXEXXEXE t -> TypeID
class MetaBXXBXXXXEXE t :: ((* -> * -> (* -> * -> * -> *) -> *) -> *)
typeIDBXXBXXXXEXE :: (MetaBXXBXXXXEXE t) => TypeBXXBXXXXEXE t -> TypeID
class MetaBXBBBXXEXEXEXXE t :: ((* -> (((* -> *) -> *) -> *) -> * -> *) -> *)
typeIDBXBBBXXEXEXEXXE :: (MetaBXBBBXXEXEXEXXE t) => TypeBXBBBXXEXEXEXXE t -> TypeID
class MetaBXBBXXXEXEXXE t :: ((* -> ((* -> * -> *) -> *) -> * -> *) -> *)
typeIDBXBBXXXEXEXXE :: (MetaBXBBXXXEXEXXE t) => TypeBXBBXXXEXEXXE t -> TypeID
class MetaBXBXBXXEXEXXE t :: ((* -> (* -> (* -> *) -> *) -> * -> *) -> *)
typeIDBXBXBXXEXEXXE :: (MetaBXBXBXXEXEXXE t) => TypeBXBXBXXEXEXXE t -> TypeID
class MetaBXBBXXEXXEXXE t :: ((* -> ((* -> *) -> * -> *) -> * -> *) -> *)
typeIDBXBBXXEXXEXXE :: (MetaBXBBXXEXXEXXE t) => TypeBXBBXXEXXEXXE t -> TypeID
class MetaBXBXXXXEXXE t :: ((* -> (* -> * -> * -> *) -> * -> *) -> *)
typeIDBXBXXXXEXXE :: (MetaBXBXXXXEXXE t) => TypeBXBXXXXEXXE t -> TypeID
class MetaBBBBXXEXEXEBXXEXE t :: (((((* -> *) -> *) -> *) -> (* -> *) -> *) -> *)
typeIDBBBBXXEXEXEBXXEXE :: (MetaBBBBXXEXEXEBXXEXE t) => TypeBBBBXXEXEXEBXXEXE t -> TypeID
class MetaBBBBXXEXEXEXXXE t :: (((((* -> *) -> *) -> *) -> * -> * -> *) -> *)
typeIDBBBBXXEXEXEXXXE :: (MetaBBBBXXEXEXEXXXE t) => TypeBBBBXXEXEXEXXXE t -> TypeID
class MetaBBBXXXEXEBXXEXE t :: ((((* -> * -> *) -> *) -> (* -> *) -> *) -> *)
typeIDBBBXXXEXEBXXEXE :: (MetaBBBXXXEXEBXXEXE t) => TypeBBBXXXEXEBXXEXE t -> TypeID
class MetaBBBXXXEXEXXXE t :: ((((* -> * -> *) -> *) -> * -> * -> *) -> *)
typeIDBBBXXXEXEXXXE :: (MetaBBBXXXEXEXXXE t) => TypeBBBXXXEXEXXXE t -> TypeID
class MetaBBXBXXEXEBXXEXE t :: (((* -> (* -> *) -> *) -> (* -> *) -> *) -> *)
typeIDBBXBXXEXEBXXEXE :: (MetaBBXBXXEXEBXXEXE t) => TypeBBXBXXEXEBXXEXE t -> TypeID
class MetaBBXBXXEXEXXXE t :: (((* -> (* -> *) -> *) -> * -> * -> *) -> *)
typeIDBBXBXXEXEXXXE :: (MetaBBXBXXEXEXXXE t) => TypeBBXBXXEXEXXXE t -> TypeID
class MetaBBBXXEXXEBXXEXE t :: ((((* -> *) -> * -> *) -> (* -> *) -> *) -> *)
typeIDBBBXXEXXEBXXEXE :: (MetaBBBXXEXXEBXXEXE t) => TypeBBBXXEXXEBXXEXE t -> TypeID
class MetaBBBXXEXXEXXXE t :: ((((* -> *) -> * -> *) -> * -> * -> *) -> *)
typeIDBBBXXEXXEXXXE :: (MetaBBBXXEXXEXXXE t) => TypeBBBXXEXXEXXXE t -> TypeID
class MetaBBXXXXEBXXEXE t :: (((* -> * -> * -> *) -> (* -> *) -> *) -> *)
typeIDBBXXXXEBXXEXE :: (MetaBBXXXXEBXXEXE t) => TypeBBXXXXEBXXEXE t -> TypeID
class MetaBBXXXXEXXXE t :: (((* -> * -> * -> *) -> * -> * -> *) -> *)
typeIDBBXXXXEXXXE :: (MetaBBXXXXEXXXE t) => TypeBBXXXXEXXXE t -> TypeID
class MetaBXXXBBXXEXEXE t :: ((* -> * -> * -> ((* -> *) -> *) -> *) -> *)
typeIDBXXXBBXXEXEXE :: (MetaBXXXBBXXEXEXE t) => TypeBXXXBBXXEXEXE t -> TypeID
class MetaBXXXBXXXEXE t :: ((* -> * -> * -> (* -> * -> *) -> *) -> *)
typeIDBXXXBXXXEXE :: (MetaBXXXBXXXEXE t) => TypeBXXXBXXXEXE t -> TypeID
class MetaBXXBBXXEXEXXE t :: ((* -> * -> ((* -> *) -> *) -> * -> *) -> *)
typeIDBXXBBXXEXEXXE :: (MetaBXXBBXXEXEXXE t) => TypeBXXBBXXEXEXXE t -> TypeID
class MetaBXXBXXXEXXE t :: ((* -> * -> (* -> * -> *) -> * -> *) -> *)
typeIDBXXBXXXEXXE :: (MetaBXXBXXXEXXE t) => TypeBXXBXXXEXXE t -> TypeID
class MetaBXBBXXEXEBXXEXE t :: ((* -> ((* -> *) -> *) -> (* -> *) -> *) -> *)
typeIDBXBBXXEXEBXXEXE :: (MetaBXBBXXEXEBXXEXE t) => TypeBXBBXXEXEBXXEXE t -> TypeID
class MetaBXBBXXEXEXXXE t :: ((* -> ((* -> *) -> *) -> * -> * -> *) -> *)
typeIDBXBBXXEXEXXXE :: (MetaBXBBXXEXEXXXE t) => TypeBXBBXXEXEXXXE t -> TypeID
class MetaBXBXXXEBXXEXE t :: ((* -> (* -> * -> *) -> (* -> *) -> *) -> *)
typeIDBXBXXXEBXXEXE :: (MetaBXBXXXEBXXEXE t) => TypeBXBXXXEBXXEXE t -> TypeID
class MetaBXBXXXEXXXE t :: ((* -> (* -> * -> *) -> * -> * -> *) -> *)
typeIDBXBXXXEXXXE :: (MetaBXBXXXEXXXE t) => TypeBXBXXXEXXXE t -> TypeID
class MetaBBBXXEXEBBXXEXEXE t :: ((((* -> *) -> *) -> ((* -> *) -> *) -> *) -> *)
typeIDBBBXXEXEBBXXEXEXE :: (MetaBBBXXEXEBBXXEXEXE t) => TypeBBBXXEXEBBXXEXEXE t -> TypeID
class MetaBBBXXEXEBXXXEXE t :: ((((* -> *) -> *) -> (* -> * -> *) -> *) -> *)
typeIDBBBXXEXEBXXXEXE :: (MetaBBBXXEXEBXXXEXE t) => TypeBBBXXEXEBXXXEXE t -> TypeID
class MetaBBBXXEXEXBXXEXE t :: ((((* -> *) -> *) -> * -> (* -> *) -> *) -> *)
typeIDBBBXXEXEXBXXEXE :: (MetaBBBXXEXEXBXXEXE t) => TypeBBBXXEXEXBXXEXE t -> TypeID
class MetaBBBXXEXEBXXEXXE t :: ((((* -> *) -> *) -> (* -> *) -> * -> *) -> *)
typeIDBBBXXEXEBXXEXXE :: (MetaBBBXXEXEBXXEXXE t) => TypeBBBXXEXEBXXEXXE t -> TypeID
class MetaBBBXXEXEXXXXE t :: ((((* -> *) -> *) -> * -> * -> * -> *) -> *)
typeIDBBBXXEXEXXXXE :: (MetaBBBXXEXEXXXXE t) => TypeBBBXXEXEXXXXE t -> TypeID
class MetaBBXXXEBBXXEXEXE t :: (((* -> * -> *) -> ((* -> *) -> *) -> *) -> *)
typeIDBBXXXEBBXXEXEXE :: (MetaBBXXXEBBXXEXEXE t) => TypeBBXXXEBBXXEXEXE t -> TypeID
class MetaBBXXXEBXXXEXE t :: (((* -> * -> *) -> (* -> * -> *) -> *) -> *)
typeIDBBXXXEBXXXEXE :: (MetaBBXXXEBXXXEXE t) => TypeBBXXXEBXXXEXE t -> TypeID
class MetaBBXXXEXBXXEXE t :: (((* -> * -> *) -> * -> (* -> *) -> *) -> *)
typeIDBBXXXEXBXXEXE :: (MetaBBXXXEXBXXEXE t) => TypeBBXXXEXBXXEXE t -> TypeID
class MetaBBXXXEBXXEXXE t :: (((* -> * -> *) -> (* -> *) -> * -> *) -> *)
typeIDBBXXXEBXXEXXE :: (MetaBBXXXEBXXEXXE t) => TypeBBXXXEBXXEXXE t -> TypeID
class MetaBBXXXEXXXXE t :: (((* -> * -> *) -> * -> * -> * -> *) -> *)
typeIDBBXXXEXXXXE :: (MetaBBXXXEXXXXE t) => TypeBBXXXEXXXXE t -> TypeID
class MetaBXXXXBXXEXE t :: ((* -> * -> * -> * -> (* -> *) -> *) -> *)
typeIDBXXXXBXXEXE :: (MetaBXXXXBXXEXE t) => TypeBXXXXBXXEXE t -> TypeID
class MetaBXXXBXXEXXE t :: ((* -> * -> * -> (* -> *) -> * -> *) -> *)
typeIDBXXXBXXEXXE :: (MetaBXXXBXXEXXE t) => TypeBXXXBXXEXXE t -> TypeID
class MetaBXXBXXEBXXEXE t :: ((* -> * -> (* -> *) -> (* -> *) -> *) -> *)
typeIDBXXBXXEBXXEXE :: (MetaBXXBXXEBXXEXE t) => TypeBXXBXXEBXXEXE t -> TypeID
class MetaBXXBXXEXXXE t :: ((* -> * -> (* -> *) -> * -> * -> *) -> *)
typeIDBXXBXXEXXXE :: (MetaBXXBXXEXXXE t) => TypeBXXBXXEXXXE t -> TypeID
class MetaBXBXXEBBXXEXEXE t :: ((* -> (* -> *) -> ((* -> *) -> *) -> *) -> *)
typeIDBXBXXEBBXXEXEXE :: (MetaBXBXXEBBXXEXEXE t) => TypeBXBXXEBBXXEXEXE t -> TypeID
class MetaBXBXXEBXXXEXE t :: ((* -> (* -> *) -> (* -> * -> *) -> *) -> *)
typeIDBXBXXEBXXXEXE :: (MetaBXBXXEBXXXEXE t) => TypeBXBXXEBXXXEXE t -> TypeID
class MetaBXBXXEXBXXEXE t :: ((* -> (* -> *) -> * -> (* -> *) -> *) -> *)
typeIDBXBXXEXBXXEXE :: (MetaBXBXXEXBXXEXE t) => TypeBXBXXEXBXXEXE t -> TypeID
class MetaBXBXXEBXXEXXE t :: ((* -> (* -> *) -> (* -> *) -> * -> *) -> *)
typeIDBXBXXEBXXEXXE :: (MetaBXBXXEBXXEXXE t) => TypeBXBXXEBXXEXXE t -> TypeID
class MetaBXBXXEXXXXE t :: ((* -> (* -> *) -> * -> * -> * -> *) -> *)
typeIDBXBXXEXXXXE :: (MetaBXBXXEXXXXE t) => TypeBXBXXEXXXXE t -> TypeID
class MetaBBXXEBBBXXEXEXEXE t :: (((* -> *) -> (((* -> *) -> *) -> *) -> *) -> *)
typeIDBBXXEBBBXXEXEXEXE :: (MetaBBXXEBBBXXEXEXEXE t) => TypeBBXXEBBBXXEXEXEXE t -> TypeID
class MetaBBXXEBBXXXEXEXE t :: (((* -> *) -> ((* -> * -> *) -> *) -> *) -> *)
typeIDBBXXEBBXXXEXEXE :: (MetaBBXXEBBXXXEXEXE t) => TypeBBXXEBBXXXEXEXE t -> TypeID
class MetaBBXXEBXBXXEXEXE t :: (((* -> *) -> (* -> (* -> *) -> *) -> *) -> *)
typeIDBBXXEBXBXXEXEXE :: (MetaBBXXEBXBXXEXEXE t) => TypeBBXXEBXBXXEXEXE t -> TypeID
class MetaBBXXEBBXXEXXEXE t :: (((* -> *) -> ((* -> *) -> * -> *) -> *) -> *)
typeIDBBXXEBBXXEXXEXE :: (MetaBBXXEBBXXEXXEXE t) => TypeBBXXEBBXXEXXEXE t -> TypeID
class MetaBBXXEBXXXXEXE t :: (((* -> *) -> (* -> * -> * -> *) -> *) -> *)
typeIDBBXXEBXXXXEXE :: (MetaBBXXEBXXXXEXE t) => TypeBBXXEBXXXXEXE t -> TypeID
class MetaBBXXEXBBXXEXEXE t :: (((* -> *) -> * -> ((* -> *) -> *) -> *) -> *)
typeIDBBXXEXBBXXEXEXE :: (MetaBBXXEXBBXXEXEXE t) => TypeBBXXEXBBXXEXEXE t -> TypeID
class MetaBBXXEXBXXXEXE t :: (((* -> *) -> * -> (* -> * -> *) -> *) -> *)
typeIDBBXXEXBXXXEXE :: (MetaBBXXEXBXXXEXE t) => TypeBBXXEXBXXXEXE t -> TypeID
class MetaBBXXEBBXXEXEXXE t :: (((* -> *) -> ((* -> *) -> *) -> * -> *) -> *)
typeIDBBXXEBBXXEXEXXE :: (MetaBBXXEBBXXEXEXXE t) => TypeBBXXEBBXXEXEXXE t -> TypeID
class MetaBBXXEBXXXEXXE t :: (((* -> *) -> (* -> * -> *) -> * -> *) -> *)
typeIDBBXXEBXXXEXXE :: (MetaBBXXEBXXXEXXE t) => TypeBBXXEBXXXEXXE t -> TypeID
class MetaBBXXEXXBXXEXE t :: (((* -> *) -> * -> * -> (* -> *) -> *) -> *)
typeIDBBXXEXXBXXEXE :: (MetaBBXXEXXBXXEXE t) => TypeBBXXEXXBXXEXE t -> TypeID
class MetaBBXXEXBXXEXXE t :: (((* -> *) -> * -> (* -> *) -> * -> *) -> *)
typeIDBBXXEXBXXEXXE :: (MetaBBXXEXBXXEXXE t) => TypeBBXXEXBXXEXXE t -> TypeID
class MetaBBXXEBXXEBXXEXE t :: (((* -> *) -> (* -> *) -> (* -> *) -> *) -> *)
typeIDBBXXEBXXEBXXEXE :: (MetaBBXXEBXXEBXXEXE t) => TypeBBXXEBXXEBXXEXE t -> TypeID
class MetaBBXXEBXXEXXXE t :: (((* -> *) -> (* -> *) -> * -> * -> *) -> *)
typeIDBBXXEBXXEXXXE :: (MetaBBXXEBXXEXXXE t) => TypeBBXXEBXXEXXXE t -> TypeID
class MetaBBXXEXXXXXE t :: (((* -> *) -> * -> * -> * -> * -> *) -> *)
typeIDBBXXEXXXXXE :: (MetaBBXXEXXXXXE t) => TypeBBXXEXXXXXE t -> TypeID
class MetaBXXXXXXXE t :: ((* -> * -> * -> * -> * -> * -> *) -> *)
typeIDBXXXXXXXE :: (MetaBXXXXXXXE t) => TypeBXXXXXXXE t -> TypeID
class MetaXBBBBBXXEXEXEXEXE t :: (* -> (((((* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDXBBBBBXXEXEXEXEXE :: (MetaXBBBBBXXEXEXEXEXE t) => TypeXBBBBBXXEXEXEXEXE t -> TypeID
class MetaXBBBBXXXEXEXEXE t :: (* -> ((((* -> * -> *) -> *) -> *) -> *) -> *)
typeIDXBBBBXXXEXEXEXE :: (MetaXBBBBXXXEXEXEXE t) => TypeXBBBBXXXEXEXEXE t -> TypeID
class MetaXBBBXBXXEXEXEXE t :: (* -> (((* -> (* -> *) -> *) -> *) -> *) -> *)
typeIDXBBBXBXXEXEXEXE :: (MetaXBBBXBXXEXEXEXE t) => TypeXBBBXBXXEXEXEXE t -> TypeID
class MetaXBBBBXXEXXEXEXE t :: (* -> ((((* -> *) -> * -> *) -> *) -> *) -> *)
typeIDXBBBBXXEXXEXEXE :: (MetaXBBBBXXEXXEXEXE t) => TypeXBBBBXXEXXEXEXE t -> TypeID
class MetaXBBBXXXXEXEXE t :: (* -> (((* -> * -> * -> *) -> *) -> *) -> *)
typeIDXBBBXXXXEXEXE :: (MetaXBBBXXXXEXEXE t) => TypeXBBBXXXXEXEXE t -> TypeID
class MetaXBBXBBXXEXEXEXE t :: (* -> ((* -> ((* -> *) -> *) -> *) -> *) -> *)
typeIDXBBXBBXXEXEXEXE :: (MetaXBBXBBXXEXEXEXE t) => TypeXBBXBBXXEXEXEXE t -> TypeID
class MetaXBBXBXXXEXEXE t :: (* -> ((* -> (* -> * -> *) -> *) -> *) -> *)
typeIDXBBXBXXXEXEXE :: (MetaXBBXBXXXEXEXE t) => TypeXBBXBXXXEXEXE t -> TypeID
class MetaXBBBBXXEXEXXEXE t :: (* -> ((((* -> *) -> *) -> * -> *) -> *) -> *)
typeIDXBBBBXXEXEXXEXE :: (MetaXBBBBXXEXEXXEXE t) => TypeXBBBBXXEXEXXEXE t -> TypeID
class MetaXBBBXXXEXXEXE t :: (* -> (((* -> * -> *) -> * -> *) -> *) -> *)
typeIDXBBBXXXEXXEXE :: (MetaXBBBXXXEXXEXE t) => TypeXBBBXXXEXXEXE t -> TypeID
class MetaXBBXXBXXEXEXE t :: (* -> ((* -> * -> (* -> *) -> *) -> *) -> *)
typeIDXBBXXBXXEXEXE :: (MetaXBBXXBXXEXEXE t) => TypeXBBXXBXXEXEXE t -> TypeID
class MetaXBBXBXXEXXEXE t :: (* -> ((* -> (* -> *) -> * -> *) -> *) -> *)
typeIDXBBXBXXEXXEXE :: (MetaXBBXBXXEXXEXE t) => TypeXBBXBXXEXXEXE t -> TypeID
class MetaXBBBXXEBXXEXEXE t :: (* -> (((* -> *) -> (* -> *) -> *) -> *) -> *)
typeIDXBBBXXEBXXEXEXE :: (MetaXBBBXXEBXXEXEXE t) => TypeXBBBXXEBXXEXEXE t -> TypeID
class MetaXBBBXXEXXXEXE t :: (* -> (((* -> *) -> * -> * -> *) -> *) -> *)
typeIDXBBBXXEXXXEXE :: (MetaXBBBXXEXXXEXE t) => TypeXBBBXXEXXXEXE t -> TypeID
class MetaXBBXXXXXEXE t :: (* -> ((* -> * -> * -> * -> *) -> *) -> *)
typeIDXBBXXXXXEXE :: (MetaXBBXXXXXEXE t) => TypeXBBXXXXXEXE t -> TypeID
class MetaXBXBBBXXEXEXEXE t :: (* -> (* -> (((* -> *) -> *) -> *) -> *) -> *)
typeIDXBXBBBXXEXEXEXE :: (MetaXBXBBBXXEXEXEXE t) => TypeXBXBBBXXEXEXEXE t -> TypeID
class MetaXBXBBXXXEXEXE t :: (* -> (* -> ((* -> * -> *) -> *) -> *) -> *)
typeIDXBXBBXXXEXEXE :: (MetaXBXBBXXXEXEXE t) => TypeXBXBBXXXEXEXE t -> TypeID
class MetaXBXBXBXXEXEXE t :: (* -> (* -> (* -> (* -> *) -> *) -> *) -> *)
typeIDXBXBXBXXEXEXE :: (MetaXBXBXBXXEXEXE t) => TypeXBXBXBXXEXEXE t -> TypeID
class MetaXBXBBXXEXXEXE t :: (* -> (* -> ((* -> *) -> * -> *) -> *) -> *)
typeIDXBXBBXXEXXEXE :: (MetaXBXBBXXEXXEXE t) => TypeXBXBBXXEXXEXE t -> TypeID
class MetaXBXBXXXXEXE t :: (* -> (* -> (* -> * -> * -> *) -> *) -> *)
typeIDXBXBXXXXEXE :: (MetaXBXBXXXXEXE t) => TypeXBXBXXXXEXE t -> TypeID
class MetaXBBBBXXEXEXEXXE t :: (* -> ((((* -> *) -> *) -> *) -> * -> *) -> *)
typeIDXBBBBXXEXEXEXXE :: (MetaXBBBBXXEXEXEXXE t) => TypeXBBBBXXEXEXEXXE t -> TypeID
class MetaXBBBXXXEXEXXE t :: (* -> (((* -> * -> *) -> *) -> * -> *) -> *)
typeIDXBBBXXXEXEXXE :: (MetaXBBBXXXEXEXXE t) => TypeXBBBXXXEXEXXE t -> TypeID
class MetaXBBXBXXEXEXXE t :: (* -> ((* -> (* -> *) -> *) -> * -> *) -> *)
typeIDXBBXBXXEXEXXE :: (MetaXBBXBXXEXEXXE t) => TypeXBBXBXXEXEXXE t -> TypeID
class MetaXBBBXXEXXEXXE t :: (* -> (((* -> *) -> * -> *) -> * -> *) -> *)
typeIDXBBBXXEXXEXXE :: (MetaXBBBXXEXXEXXE t) => TypeXBBBXXEXXEXXE t -> TypeID
class MetaXBBXXXXEXXE t :: (* -> ((* -> * -> * -> *) -> * -> *) -> *)
typeIDXBBXXXXEXXE :: (MetaXBBXXXXEXXE t) => TypeXBBXXXXEXXE t -> TypeID
class MetaXBXXBBXXEXEXE t :: (* -> (* -> * -> ((* -> *) -> *) -> *) -> *)
typeIDXBXXBBXXEXEXE :: (MetaXBXXBBXXEXEXE t) => TypeXBXXBBXXEXEXE t -> TypeID
class MetaXBXXBXXXEXE t :: (* -> (* -> * -> (* -> * -> *) -> *) -> *)
typeIDXBXXBXXXEXE :: (MetaXBXXBXXXEXE t) => TypeXBXXBXXXEXE t -> TypeID
class MetaXBXBBXXEXEXXE t :: (* -> (* -> ((* -> *) -> *) -> * -> *) -> *)
typeIDXBXBBXXEXEXXE :: (MetaXBXBBXXEXEXXE t) => TypeXBXBBXXEXEXXE t -> TypeID
class MetaXBXBXXXEXXE t :: (* -> (* -> (* -> * -> *) -> * -> *) -> *)
typeIDXBXBXXXEXXE :: (MetaXBXBXXXEXXE t) => TypeXBXBXXXEXXE t -> TypeID
class MetaXBBBXXEXEBXXEXE t :: (* -> (((* -> *) -> *) -> (* -> *) -> *) -> *)
typeIDXBBBXXEXEBXXEXE :: (MetaXBBBXXEXEBXXEXE t) => TypeXBBBXXEXEBXXEXE t -> TypeID
class MetaXBBBXXEXEXXXE t :: (* -> (((* -> *) -> *) -> * -> * -> *) -> *)
typeIDXBBBXXEXEXXXE :: (MetaXBBBXXEXEXXXE t) => TypeXBBBXXEXEXXXE t -> TypeID
class MetaXBBXXXEBXXEXE t :: (* -> ((* -> * -> *) -> (* -> *) -> *) -> *)
typeIDXBBXXXEBXXEXE :: (MetaXBBXXXEBXXEXE t) => TypeXBBXXXEBXXEXE t -> TypeID
class MetaXBBXXXEXXXE t :: (* -> ((* -> * -> *) -> * -> * -> *) -> *)
typeIDXBBXXXEXXXE :: (MetaXBBXXXEXXXE t) => TypeXBBXXXEXXXE t -> TypeID
class MetaXBXXXBXXEXE t :: (* -> (* -> * -> * -> (* -> *) -> *) -> *)
typeIDXBXXXBXXEXE :: (MetaXBXXXBXXEXE t) => TypeXBXXXBXXEXE t -> TypeID
class MetaXBXXBXXEXXE t :: (* -> (* -> * -> (* -> *) -> * -> *) -> *)
typeIDXBXXBXXEXXE :: (MetaXBXXBXXEXXE t) => TypeXBXXBXXEXXE t -> TypeID
class MetaXBXBXXEBXXEXE t :: (* -> (* -> (* -> *) -> (* -> *) -> *) -> *)
typeIDXBXBXXEBXXEXE :: (MetaXBXBXXEBXXEXE t) => TypeXBXBXXEBXXEXE t -> TypeID
class MetaXBXBXXEXXXE t :: (* -> (* -> (* -> *) -> * -> * -> *) -> *)
typeIDXBXBXXEXXXE :: (MetaXBXBXXEXXXE t) => TypeXBXBXXEXXXE t -> TypeID
class MetaXBBXXEBBXXEXEXE t :: (* -> ((* -> *) -> ((* -> *) -> *) -> *) -> *)
typeIDXBBXXEBBXXEXEXE :: (MetaXBBXXEBBXXEXEXE t) => TypeXBBXXEBBXXEXEXE t -> TypeID
class MetaXBBXXEBXXXEXE t :: (* -> ((* -> *) -> (* -> * -> *) -> *) -> *)
typeIDXBBXXEBXXXEXE :: (MetaXBBXXEBXXXEXE t) => TypeXBBXXEBXXXEXE t -> TypeID
class MetaXBBXXEXBXXEXE t :: (* -> ((* -> *) -> * -> (* -> *) -> *) -> *)
typeIDXBBXXEXBXXEXE :: (MetaXBBXXEXBXXEXE t) => TypeXBBXXEXBXXEXE t -> TypeID
class MetaXBBXXEBXXEXXE t :: (* -> ((* -> *) -> (* -> *) -> * -> *) -> *)
typeIDXBBXXEBXXEXXE :: (MetaXBBXXEBXXEXXE t) => TypeXBBXXEBXXEXXE t -> TypeID
class MetaXBBXXEXXXXE t :: (* -> ((* -> *) -> * -> * -> * -> *) -> *)
typeIDXBBXXEXXXXE :: (MetaXBBXXEXXXXE t) => TypeXBBXXEXXXXE t -> TypeID
class MetaXBXXXXXXE t :: (* -> (* -> * -> * -> * -> * -> *) -> *)
typeIDXBXXXXXXE :: (MetaXBXXXXXXE t) => TypeXBXXXXXXE t -> TypeID
class MetaBBBBBXXEXEXEXEXEX t :: ((((((* -> *) -> *) -> *) -> *) -> *) -> * -> *)
typeIDBBBBBXXEXEXEXEXEX :: (MetaBBBBBXXEXEXEXEXEX t) => TypeBBBBBXXEXEXEXEXEX t -> TypeID
class MetaBBBBXXXEXEXEXEX t :: (((((* -> * -> *) -> *) -> *) -> *) -> * -> *)
typeIDBBBBXXXEXEXEXEX :: (MetaBBBBXXXEXEXEXEX t) => TypeBBBBXXXEXEXEXEX t -> TypeID
class MetaBBBXBXXEXEXEXEX t :: ((((* -> (* -> *) -> *) -> *) -> *) -> * -> *)
typeIDBBBXBXXEXEXEXEX :: (MetaBBBXBXXEXEXEXEX t) => TypeBBBXBXXEXEXEXEX t -> TypeID
class MetaBBBBXXEXXEXEXEX t :: (((((* -> *) -> * -> *) -> *) -> *) -> * -> *)
typeIDBBBBXXEXXEXEXEX :: (MetaBBBBXXEXXEXEXEX t) => TypeBBBBXXEXXEXEXEX t -> TypeID
class MetaBBBXXXXEXEXEX t :: ((((* -> * -> * -> *) -> *) -> *) -> * -> *)
typeIDBBBXXXXEXEXEX :: (MetaBBBXXXXEXEXEX t) => TypeBBBXXXXEXEXEX t -> TypeID
class MetaBBXBBXXEXEXEXEX t :: (((* -> ((* -> *) -> *) -> *) -> *) -> * -> *)
typeIDBBXBBXXEXEXEXEX :: (MetaBBXBBXXEXEXEXEX t) => TypeBBXBBXXEXEXEXEX t -> TypeID
class MetaBBXBXXXEXEXEX t :: (((* -> (* -> * -> *) -> *) -> *) -> * -> *)
typeIDBBXBXXXEXEXEX :: (MetaBBXBXXXEXEXEX t) => TypeBBXBXXXEXEXEX t -> TypeID
class MetaBBBBXXEXEXXEXEX t :: (((((* -> *) -> *) -> * -> *) -> *) -> * -> *)
typeIDBBBBXXEXEXXEXEX :: (MetaBBBBXXEXEXXEXEX t) => TypeBBBBXXEXEXXEXEX t -> TypeID
class MetaBBBXXXEXXEXEX t :: ((((* -> * -> *) -> * -> *) -> *) -> * -> *)
typeIDBBBXXXEXXEXEX :: (MetaBBBXXXEXXEXEX t) => TypeBBBXXXEXXEXEX t -> TypeID
class MetaBBXXBXXEXEXEX t :: (((* -> * -> (* -> *) -> *) -> *) -> * -> *)
typeIDBBXXBXXEXEXEX :: (MetaBBXXBXXEXEXEX t) => TypeBBXXBXXEXEXEX t -> TypeID
class MetaBBXBXXEXXEXEX t :: (((* -> (* -> *) -> * -> *) -> *) -> * -> *)
typeIDBBXBXXEXXEXEX :: (MetaBBXBXXEXXEXEX t) => TypeBBXBXXEXXEXEX t -> TypeID
class MetaBBBXXEBXXEXEXEX t :: ((((* -> *) -> (* -> *) -> *) -> *) -> * -> *)
typeIDBBBXXEBXXEXEXEX :: (MetaBBBXXEBXXEXEXEX t) => TypeBBBXXEBXXEXEXEX t -> TypeID
class MetaBBBXXEXXXEXEX t :: ((((* -> *) -> * -> * -> *) -> *) -> * -> *)
typeIDBBBXXEXXXEXEX :: (MetaBBBXXEXXXEXEX t) => TypeBBBXXEXXXEXEX t -> TypeID
class MetaBBXXXXXEXEX t :: (((* -> * -> * -> * -> *) -> *) -> * -> *)
typeIDBBXXXXXEXEX :: (MetaBBXXXXXEXEX t) => TypeBBXXXXXEXEX t -> TypeID
class MetaBXBBBXXEXEXEXEX t :: ((* -> (((* -> *) -> *) -> *) -> *) -> * -> *)
typeIDBXBBBXXEXEXEXEX :: (MetaBXBBBXXEXEXEXEX t) => TypeBXBBBXXEXEXEXEX t -> TypeID
class MetaBXBBXXXEXEXEX t :: ((* -> ((* -> * -> *) -> *) -> *) -> * -> *)
typeIDBXBBXXXEXEXEX :: (MetaBXBBXXXEXEXEX t) => TypeBXBBXXXEXEXEX t -> TypeID
class MetaBXBXBXXEXEXEX t :: ((* -> (* -> (* -> *) -> *) -> *) -> * -> *)
typeIDBXBXBXXEXEXEX :: (MetaBXBXBXXEXEXEX t) => TypeBXBXBXXEXEXEX t -> TypeID
class MetaBXBBXXEXXEXEX t :: ((* -> ((* -> *) -> * -> *) -> *) -> * -> *)
typeIDBXBBXXEXXEXEX :: (MetaBXBBXXEXXEXEX t) => TypeBXBBXXEXXEXEX t -> TypeID
class MetaBXBXXXXEXEX t :: ((* -> (* -> * -> * -> *) -> *) -> * -> *)
typeIDBXBXXXXEXEX :: (MetaBXBXXXXEXEX t) => TypeBXBXXXXEXEX t -> TypeID
class MetaBBBBXXEXEXEXXEX t :: (((((* -> *) -> *) -> *) -> * -> *) -> * -> *)
typeIDBBBBXXEXEXEXXEX :: (MetaBBBBXXEXEXEXXEX t) => TypeBBBBXXEXEXEXXEX t -> TypeID
class MetaBBBXXXEXEXXEX t :: ((((* -> * -> *) -> *) -> * -> *) -> * -> *)
typeIDBBBXXXEXEXXEX :: (MetaBBBXXXEXEXXEX t) => TypeBBBXXXEXEXXEX t -> TypeID
class MetaBBXBXXEXEXXEX t :: (((* -> (* -> *) -> *) -> * -> *) -> * -> *)
typeIDBBXBXXEXEXXEX :: (MetaBBXBXXEXEXXEX t) => TypeBBXBXXEXEXXEX t -> TypeID
class MetaBBBXXEXXEXXEX t :: ((((* -> *) -> * -> *) -> * -> *) -> * -> *)
typeIDBBBXXEXXEXXEX :: (MetaBBBXXEXXEXXEX t) => TypeBBBXXEXXEXXEX t -> TypeID
class MetaBBXXXXEXXEX t :: (((* -> * -> * -> *) -> * -> *) -> * -> *)
typeIDBBXXXXEXXEX :: (MetaBBXXXXEXXEX t) => TypeBBXXXXEXXEX t -> TypeID
class MetaBXXBBXXEXEXEX t :: ((* -> * -> ((* -> *) -> *) -> *) -> * -> *)
typeIDBXXBBXXEXEXEX :: (MetaBXXBBXXEXEXEX t) => TypeBXXBBXXEXEXEX t -> TypeID
class MetaBXXBXXXEXEX t :: ((* -> * -> (* -> * -> *) -> *) -> * -> *)
typeIDBXXBXXXEXEX :: (MetaBXXBXXXEXEX t) => TypeBXXBXXXEXEX t -> TypeID
class MetaBXBBXXEXEXXEX t :: ((* -> ((* -> *) -> *) -> * -> *) -> * -> *)
typeIDBXBBXXEXEXXEX :: (MetaBXBBXXEXEXXEX t) => TypeBXBBXXEXEXXEX t -> TypeID
class MetaBXBXXXEXXEX t :: ((* -> (* -> * -> *) -> * -> *) -> * -> *)
typeIDBXBXXXEXXEX :: (MetaBXBXXXEXXEX t) => TypeBXBXXXEXXEX t -> TypeID
class MetaBBBXXEXEBXXEXEX t :: ((((* -> *) -> *) -> (* -> *) -> *) -> * -> *)
typeIDBBBXXEXEBXXEXEX :: (MetaBBBXXEXEBXXEXEX t) => TypeBBBXXEXEBXXEXEX t -> TypeID
class MetaBBBXXEXEXXXEX t :: ((((* -> *) -> *) -> * -> * -> *) -> * -> *)
typeIDBBBXXEXEXXXEX :: (MetaBBBXXEXEXXXEX t) => TypeBBBXXEXEXXXEX t -> TypeID
class MetaBBXXXEBXXEXEX t :: (((* -> * -> *) -> (* -> *) -> *) -> * -> *)
typeIDBBXXXEBXXEXEX :: (MetaBBXXXEBXXEXEX t) => TypeBBXXXEBXXEXEX t -> TypeID
class MetaBBXXXEXXXEX t :: (((* -> * -> *) -> * -> * -> *) -> * -> *)
typeIDBBXXXEXXXEX :: (MetaBBXXXEXXXEX t) => TypeBBXXXEXXXEX t -> TypeID
class MetaBXXXBXXEXEX t :: ((* -> * -> * -> (* -> *) -> *) -> * -> *)
typeIDBXXXBXXEXEX :: (MetaBXXXBXXEXEX t) => TypeBXXXBXXEXEX t -> TypeID
class MetaBXXBXXEXXEX t :: ((* -> * -> (* -> *) -> * -> *) -> * -> *)
typeIDBXXBXXEXXEX :: (MetaBXXBXXEXXEX t) => TypeBXXBXXEXXEX t -> TypeID
class MetaBXBXXEBXXEXEX t :: ((* -> (* -> *) -> (* -> *) -> *) -> * -> *)
typeIDBXBXXEBXXEXEX :: (MetaBXBXXEBXXEXEX t) => TypeBXBXXEBXXEXEX t -> TypeID
class MetaBXBXXEXXXEX t :: ((* -> (* -> *) -> * -> * -> *) -> * -> *)
typeIDBXBXXEXXXEX :: (MetaBXBXXEXXXEX t) => TypeBXBXXEXXXEX t -> TypeID
class MetaBBXXEBBXXEXEXEX t :: (((* -> *) -> ((* -> *) -> *) -> *) -> * -> *)
typeIDBBXXEBBXXEXEXEX :: (MetaBBXXEBBXXEXEXEX t) => TypeBBXXEBBXXEXEXEX t -> TypeID
class MetaBBXXEBXXXEXEX t :: (((* -> *) -> (* -> * -> *) -> *) -> * -> *)
typeIDBBXXEBXXXEXEX :: (MetaBBXXEBXXXEXEX t) => TypeBBXXEBXXXEXEX t -> TypeID
class MetaBBXXEXBXXEXEX t :: (((* -> *) -> * -> (* -> *) -> *) -> * -> *)
typeIDBBXXEXBXXEXEX :: (MetaBBXXEXBXXEXEX t) => TypeBBXXEXBXXEXEX t -> TypeID
class MetaBBXXEBXXEXXEX t :: (((* -> *) -> (* -> *) -> * -> *) -> * -> *)
typeIDBBXXEBXXEXXEX :: (MetaBBXXEBXXEXXEX t) => TypeBBXXEBXXEXXEX t -> TypeID
class MetaBBXXEXXXXEX t :: (((* -> *) -> * -> * -> * -> *) -> * -> *)
typeIDBBXXEXXXXEX :: (MetaBBXXEXXXXEX t) => TypeBBXXEXXXXEX t -> TypeID
class MetaBXXXXXXEX t :: ((* -> * -> * -> * -> * -> *) -> * -> *)
typeIDBXXXXXXEX :: (MetaBXXXXXXEX t) => TypeBXXXXXXEX t -> TypeID
class MetaXXBBBBXXEXEXEXE t :: (* -> * -> ((((* -> *) -> *) -> *) -> *) -> *)
typeIDXXBBBBXXEXEXEXE :: (MetaXXBBBBXXEXEXEXE t) => TypeXXBBBBXXEXEXEXE t -> TypeID
class MetaXXBBBXXXEXEXE t :: (* -> * -> (((* -> * -> *) -> *) -> *) -> *)
typeIDXXBBBXXXEXEXE :: (MetaXXBBBXXXEXEXE t) => TypeXXBBBXXXEXEXE t -> TypeID
class MetaXXBBXBXXEXEXE t :: (* -> * -> ((* -> (* -> *) -> *) -> *) -> *)
typeIDXXBBXBXXEXEXE :: (MetaXXBBXBXXEXEXE t) => TypeXXBBXBXXEXEXE t -> TypeID
class MetaXXBBBXXEXXEXE t :: (* -> * -> (((* -> *) -> * -> *) -> *) -> *)
typeIDXXBBBXXEXXEXE :: (MetaXXBBBXXEXXEXE t) => TypeXXBBBXXEXXEXE t -> TypeID
class MetaXXBBXXXXEXE t :: (* -> * -> ((* -> * -> * -> *) -> *) -> *)
typeIDXXBBXXXXEXE :: (MetaXXBBXXXXEXE t) => TypeXXBBXXXXEXE t -> TypeID
class MetaXXBXBBXXEXEXE t :: (* -> * -> (* -> ((* -> *) -> *) -> *) -> *)
typeIDXXBXBBXXEXEXE :: (MetaXXBXBBXXEXEXE t) => TypeXXBXBBXXEXEXE t -> TypeID
class MetaXXBXBXXXEXE t :: (* -> * -> (* -> (* -> * -> *) -> *) -> *)
typeIDXXBXBXXXEXE :: (MetaXXBXBXXXEXE t) => TypeXXBXBXXXEXE t -> TypeID
class MetaXXBBBXXEXEXXE t :: (* -> * -> (((* -> *) -> *) -> * -> *) -> *)
typeIDXXBBBXXEXEXXE :: (MetaXXBBBXXEXEXXE t) => TypeXXBBBXXEXEXXE t -> TypeID
class MetaXXBBXXXEXXE t :: (* -> * -> ((* -> * -> *) -> * -> *) -> *)
typeIDXXBBXXXEXXE :: (MetaXXBBXXXEXXE t) => TypeXXBBXXXEXXE t -> TypeID
class MetaXXBXXBXXEXE t :: (* -> * -> (* -> * -> (* -> *) -> *) -> *)
typeIDXXBXXBXXEXE :: (MetaXXBXXBXXEXE t) => TypeXXBXXBXXEXE t -> TypeID
class MetaXXBXBXXEXXE t :: (* -> * -> (* -> (* -> *) -> * -> *) -> *)
typeIDXXBXBXXEXXE :: (MetaXXBXBXXEXXE t) => TypeXXBXBXXEXXE t -> TypeID
class MetaXXBBXXEBXXEXE t :: (* -> * -> ((* -> *) -> (* -> *) -> *) -> *)
typeIDXXBBXXEBXXEXE :: (MetaXXBBXXEBXXEXE t) => TypeXXBBXXEBXXEXE t -> TypeID
class MetaXXBBXXEXXXE t :: (* -> * -> ((* -> *) -> * -> * -> *) -> *)
typeIDXXBBXXEXXXE :: (MetaXXBBXXEXXXE t) => TypeXXBBXXEXXXE t -> TypeID
class MetaXXBXXXXXE t :: (* -> * -> (* -> * -> * -> * -> *) -> *)
typeIDXXBXXXXXE :: (MetaXXBXXXXXE t) => TypeXXBXXXXXE t -> TypeID
class MetaXBBBBXXEXEXEXEX t :: (* -> ((((* -> *) -> *) -> *) -> *) -> * -> *)
typeIDXBBBBXXEXEXEXEX :: (MetaXBBBBXXEXEXEXEX t) => TypeXBBBBXXEXEXEXEX t -> TypeID
class MetaXBBBXXXEXEXEX t :: (* -> (((* -> * -> *) -> *) -> *) -> * -> *)
typeIDXBBBXXXEXEXEX :: (MetaXBBBXXXEXEXEX t) => TypeXBBBXXXEXEXEX t -> TypeID
class MetaXBBXBXXEXEXEX t :: (* -> ((* -> (* -> *) -> *) -> *) -> * -> *)
typeIDXBBXBXXEXEXEX :: (MetaXBBXBXXEXEXEX t) => TypeXBBXBXXEXEXEX t -> TypeID
class MetaXBBBXXEXXEXEX t :: (* -> (((* -> *) -> * -> *) -> *) -> * -> *)
typeIDXBBBXXEXXEXEX :: (MetaXBBBXXEXXEXEX t) => TypeXBBBXXEXXEXEX t -> TypeID
class MetaXBBXXXXEXEX t :: (* -> ((* -> * -> * -> *) -> *) -> * -> *)
typeIDXBBXXXXEXEX :: (MetaXBBXXXXEXEX t) => TypeXBBXXXXEXEX t -> TypeID
class MetaXBXBBXXEXEXEX t :: (* -> (* -> ((* -> *) -> *) -> *) -> * -> *)
typeIDXBXBBXXEXEXEX :: (MetaXBXBBXXEXEXEX t) => TypeXBXBBXXEXEXEX t -> TypeID
class MetaXBXBXXXEXEX t :: (* -> (* -> (* -> * -> *) -> *) -> * -> *)
typeIDXBXBXXXEXEX :: (MetaXBXBXXXEXEX t) => TypeXBXBXXXEXEX t -> TypeID
class MetaXBBBXXEXEXXEX t :: (* -> (((* -> *) -> *) -> * -> *) -> * -> *)
typeIDXBBBXXEXEXXEX :: (MetaXBBBXXEXEXXEX t) => TypeXBBBXXEXEXXEX t -> TypeID
class MetaXBBXXXEXXEX t :: (* -> ((* -> * -> *) -> * -> *) -> * -> *)
typeIDXBBXXXEXXEX :: (MetaXBBXXXEXXEX t) => TypeXBBXXXEXXEX t -> TypeID
class MetaXBXXBXXEXEX t :: (* -> (* -> * -> (* -> *) -> *) -> * -> *)
typeIDXBXXBXXEXEX :: (MetaXBXXBXXEXEX t) => TypeXBXXBXXEXEX t -> TypeID
class MetaXBXBXXEXXEX t :: (* -> (* -> (* -> *) -> * -> *) -> * -> *)
typeIDXBXBXXEXXEX :: (MetaXBXBXXEXXEX t) => TypeXBXBXXEXXEX t -> TypeID
class MetaXBBXXEBXXEXEX t :: (* -> ((* -> *) -> (* -> *) -> *) -> * -> *)
typeIDXBBXXEBXXEXEX :: (MetaXBBXXEBXXEXEX t) => TypeXBBXXEBXXEXEX t -> TypeID
class MetaXBBXXEXXXEX t :: (* -> ((* -> *) -> * -> * -> *) -> * -> *)
typeIDXBBXXEXXXEX :: (MetaXBBXXEXXXEX t) => TypeXBBXXEXXXEX t -> TypeID
class MetaXBXXXXXEX t :: (* -> (* -> * -> * -> * -> *) -> * -> *)
typeIDXBXXXXXEX :: (MetaXBXXXXXEX t) => TypeXBXXXXXEX t -> TypeID
class MetaBBBBXXEXEXEXEBXXE t :: (((((* -> *) -> *) -> *) -> *) -> (* -> *) -> *)
typeIDBBBBXXEXEXEXEBXXE :: (MetaBBBBXXEXEXEXEBXXE t) => TypeBBBBXXEXEXEXEBXXE t -> TypeID
class MetaBBBBXXEXEXEXEXX t :: (((((* -> *) -> *) -> *) -> *) -> * -> * -> *)
typeIDBBBBXXEXEXEXEXX :: (MetaBBBBXXEXEXEXEXX t) => TypeBBBBXXEXEXEXEXX t -> TypeID
class MetaBBBXXXEXEXEBXXE t :: ((((* -> * -> *) -> *) -> *) -> (* -> *) -> *)
typeIDBBBXXXEXEXEBXXE :: (MetaBBBXXXEXEXEBXXE t) => TypeBBBXXXEXEXEBXXE t -> TypeID
class MetaBBBXXXEXEXEXX t :: ((((* -> * -> *) -> *) -> *) -> * -> * -> *)
typeIDBBBXXXEXEXEXX :: (MetaBBBXXXEXEXEXX t) => TypeBBBXXXEXEXEXX t -> TypeID
class MetaBBXBXXEXEXEBXXE t :: (((* -> (* -> *) -> *) -> *) -> (* -> *) -> *)
typeIDBBXBXXEXEXEBXXE :: (MetaBBXBXXEXEXEBXXE t) => TypeBBXBXXEXEXEBXXE t -> TypeID
class MetaBBXBXXEXEXEXX t :: (((* -> (* -> *) -> *) -> *) -> * -> * -> *)
typeIDBBXBXXEXEXEXX :: (MetaBBXBXXEXEXEXX t) => TypeBBXBXXEXEXEXX t -> TypeID
class MetaBBBXXEXXEXEBXXE t :: ((((* -> *) -> * -> *) -> *) -> (* -> *) -> *)
typeIDBBBXXEXXEXEBXXE :: (MetaBBBXXEXXEXEBXXE t) => TypeBBBXXEXXEXEBXXE t -> TypeID
class MetaBBBXXEXXEXEXX t :: ((((* -> *) -> * -> *) -> *) -> * -> * -> *)
typeIDBBBXXEXXEXEXX :: (MetaBBBXXEXXEXEXX t) => TypeBBBXXEXXEXEXX t -> TypeID
class MetaBBXXXXEXEBXXE t :: (((* -> * -> * -> *) -> *) -> (* -> *) -> *)
typeIDBBXXXXEXEBXXE :: (MetaBBXXXXEXEBXXE t) => TypeBBXXXXEXEBXXE t -> TypeID
class MetaBBXXXXEXEXX t :: (((* -> * -> * -> *) -> *) -> * -> * -> *)
typeIDBBXXXXEXEXX :: (MetaBBXXXXEXEXX t) => TypeBBXXXXEXEXX t -> TypeID
class MetaBXBBXXEXEXEBXXE t :: ((* -> ((* -> *) -> *) -> *) -> (* -> *) -> *)
typeIDBXBBXXEXEXEBXXE :: (MetaBXBBXXEXEXEBXXE t) => TypeBXBBXXEXEXEBXXE t -> TypeID
class MetaBXBBXXEXEXEXX t :: ((* -> ((* -> *) -> *) -> *) -> * -> * -> *)
typeIDBXBBXXEXEXEXX :: (MetaBXBBXXEXEXEXX t) => TypeBXBBXXEXEXEXX t -> TypeID
class MetaBXBXXXEXEBXXE t :: ((* -> (* -> * -> *) -> *) -> (* -> *) -> *)
typeIDBXBXXXEXEBXXE :: (MetaBXBXXXEXEBXXE t) => TypeBXBXXXEXEBXXE t -> TypeID
class MetaBXBXXXEXEXX t :: ((* -> (* -> * -> *) -> *) -> * -> * -> *)
typeIDBXBXXXEXEXX :: (MetaBXBXXXEXEXX t) => TypeBXBXXXEXEXX t -> TypeID
class MetaBBBXXEXEXXEBXXE t :: ((((* -> *) -> *) -> * -> *) -> (* -> *) -> *)
typeIDBBBXXEXEXXEBXXE :: (MetaBBBXXEXEXXEBXXE t) => TypeBBBXXEXEXXEBXXE t -> TypeID
class MetaBBBXXEXEXXEXX t :: ((((* -> *) -> *) -> * -> *) -> * -> * -> *)
typeIDBBBXXEXEXXEXX :: (MetaBBBXXEXEXXEXX t) => TypeBBBXXEXEXXEXX t -> TypeID
class MetaBBXXXEXXEBXXE t :: (((* -> * -> *) -> * -> *) -> (* -> *) -> *)
typeIDBBXXXEXXEBXXE :: (MetaBBXXXEXXEBXXE t) => TypeBBXXXEXXEBXXE t -> TypeID
class MetaBBXXXEXXEXX t :: (((* -> * -> *) -> * -> *) -> * -> * -> *)
typeIDBBXXXEXXEXX :: (MetaBBXXXEXXEXX t) => TypeBBXXXEXXEXX t -> TypeID
class MetaBXXBXXEXEBXXE t :: ((* -> * -> (* -> *) -> *) -> (* -> *) -> *)
typeIDBXXBXXEXEBXXE :: (MetaBXXBXXEXEBXXE t) => TypeBXXBXXEXEBXXE t -> TypeID
class MetaBXXBXXEXEXX t :: ((* -> * -> (* -> *) -> *) -> * -> * -> *)
typeIDBXXBXXEXEXX :: (MetaBXXBXXEXEXX t) => TypeBXXBXXEXEXX t -> TypeID
class MetaBXBXXEXXEBXXE t :: ((* -> (* -> *) -> * -> *) -> (* -> *) -> *)
typeIDBXBXXEXXEBXXE :: (MetaBXBXXEXXEBXXE t) => TypeBXBXXEXXEBXXE t -> TypeID
class MetaBXBXXEXXEXX t :: ((* -> (* -> *) -> * -> *) -> * -> * -> *)
typeIDBXBXXEXXEXX :: (MetaBXBXXEXXEXX t) => TypeBXBXXEXXEXX t -> TypeID
class MetaBBXXEBXXEXEBXXE t :: (((* -> *) -> (* -> *) -> *) -> (* -> *) -> *)
typeIDBBXXEBXXEXEBXXE :: (MetaBBXXEBXXEXEBXXE t) => TypeBBXXEBXXEXEBXXE t -> TypeID
class MetaBBXXEBXXEXEXX t :: (((* -> *) -> (* -> *) -> *) -> * -> * -> *)
typeIDBBXXEBXXEXEXX :: (MetaBBXXEBXXEXEXX t) => TypeBBXXEBXXEXEXX t -> TypeID
class MetaBBXXEXXXEBXXE t :: (((* -> *) -> * -> * -> *) -> (* -> *) -> *)
typeIDBBXXEXXXEBXXE :: (MetaBBXXEXXXEBXXE t) => TypeBBXXEXXXEBXXE t -> TypeID
class MetaBBXXEXXXEXX t :: (((* -> *) -> * -> * -> *) -> * -> * -> *)
typeIDBBXXEXXXEXX :: (MetaBBXXEXXXEXX t) => TypeBBXXEXXXEXX t -> TypeID
class MetaBXXXXXEBXXE t :: ((* -> * -> * -> * -> *) -> (* -> *) -> *)
typeIDBXXXXXEBXXE :: (MetaBXXXXXEBXXE t) => TypeBXXXXXEBXXE t -> TypeID
class MetaBXXXXXEXX t :: ((* -> * -> * -> * -> *) -> * -> * -> *)
typeIDBXXXXXEXX :: (MetaBXXXXXEXX t) => TypeBXXXXXEXX t -> TypeID
class MetaXXXBBBXXEXEXE t :: (* -> * -> * -> (((* -> *) -> *) -> *) -> *)
typeIDXXXBBBXXEXEXE :: (MetaXXXBBBXXEXEXE t) => TypeXXXBBBXXEXEXE t -> TypeID
class MetaXXXBBXXXEXE t :: (* -> * -> * -> ((* -> * -> *) -> *) -> *)
typeIDXXXBBXXXEXE :: (MetaXXXBBXXXEXE t) => TypeXXXBBXXXEXE t -> TypeID
class MetaXXXBXBXXEXE t :: (* -> * -> * -> (* -> (* -> *) -> *) -> *)
typeIDXXXBXBXXEXE :: (MetaXXXBXBXXEXE t) => TypeXXXBXBXXEXE t -> TypeID
class MetaXXXBBXXEXXE t :: (* -> * -> * -> ((* -> *) -> * -> *) -> *)
typeIDXXXBBXXEXXE :: (MetaXXXBBXXEXXE t) => TypeXXXBBXXEXXE t -> TypeID
class MetaXXXBXXXXE t :: (* -> * -> * -> (* -> * -> * -> *) -> *)
typeIDXXXBXXXXE :: (MetaXXXBXXXXE t) => TypeXXXBXXXXE t -> TypeID
class MetaXXBBBXXEXEXEX t :: (* -> * -> (((* -> *) -> *) -> *) -> * -> *)
typeIDXXBBBXXEXEXEX :: (MetaXXBBBXXEXEXEX t) => TypeXXBBBXXEXEXEX t -> TypeID
class MetaXXBBXXXEXEX t :: (* -> * -> ((* -> * -> *) -> *) -> * -> *)
typeIDXXBBXXXEXEX :: (MetaXXBBXXXEXEX t) => TypeXXBBXXXEXEX t -> TypeID
class MetaXXBXBXXEXEX t :: (* -> * -> (* -> (* -> *) -> *) -> * -> *)
typeIDXXBXBXXEXEX :: (MetaXXBXBXXEXEX t) => TypeXXBXBXXEXEX t -> TypeID
class MetaXXBBXXEXXEX t :: (* -> * -> ((* -> *) -> * -> *) -> * -> *)
typeIDXXBBXXEXXEX :: (MetaXXBBXXEXXEX t) => TypeXXBBXXEXXEX t -> TypeID
class MetaXXBXXXXEX t :: (* -> * -> (* -> * -> * -> *) -> * -> *)
typeIDXXBXXXXEX :: (MetaXXBXXXXEX t) => TypeXXBXXXXEX t -> TypeID
class MetaXBBBXXEXEXEBXXE t :: (* -> (((* -> *) -> *) -> *) -> (* -> *) -> *)
typeIDXBBBXXEXEXEBXXE :: (MetaXBBBXXEXEXEBXXE t) => TypeXBBBXXEXEXEBXXE t -> TypeID
class MetaXBBBXXEXEXEXX t :: (* -> (((* -> *) -> *) -> *) -> * -> * -> *)
typeIDXBBBXXEXEXEXX :: (MetaXBBBXXEXEXEXX t) => TypeXBBBXXEXEXEXX t -> TypeID
class MetaXBBXXXEXEBXXE t :: (* -> ((* -> * -> *) -> *) -> (* -> *) -> *)
typeIDXBBXXXEXEBXXE :: (MetaXBBXXXEXEBXXE t) => TypeXBBXXXEXEBXXE t -> TypeID
class MetaXBBXXXEXEXX t :: (* -> ((* -> * -> *) -> *) -> * -> * -> *)
typeIDXBBXXXEXEXX :: (MetaXBBXXXEXEXX t) => TypeXBBXXXEXEXX t -> TypeID
class MetaXBXBXXEXEBXXE t :: (* -> (* -> (* -> *) -> *) -> (* -> *) -> *)
typeIDXBXBXXEXEBXXE :: (MetaXBXBXXEXEBXXE t) => TypeXBXBXXEXEBXXE t -> TypeID
class MetaXBXBXXEXEXX t :: (* -> (* -> (* -> *) -> *) -> * -> * -> *)
typeIDXBXBXXEXEXX :: (MetaXBXBXXEXEXX t) => TypeXBXBXXEXEXX t -> TypeID
class MetaXBBXXEXXEBXXE t :: (* -> ((* -> *) -> * -> *) -> (* -> *) -> *)
typeIDXBBXXEXXEBXXE :: (MetaXBBXXEXXEBXXE t) => TypeXBBXXEXXEBXXE t -> TypeID
class MetaXBBXXEXXEXX t :: (* -> ((* -> *) -> * -> *) -> * -> * -> *)
typeIDXBBXXEXXEXX :: (MetaXBBXXEXXEXX t) => TypeXBBXXEXXEXX t -> TypeID
class MetaXBXXXXEBXXE t :: (* -> (* -> * -> * -> *) -> (* -> *) -> *)
typeIDXBXXXXEBXXE :: (MetaXBXXXXEBXXE t) => TypeXBXXXXEBXXE t -> TypeID
class MetaXBXXXXEXX t :: (* -> (* -> * -> * -> *) -> * -> * -> *)
typeIDXBXXXXEXX :: (MetaXBXXXXEXX t) => TypeXBXXXXEXX t -> TypeID
class MetaBBBXXEXEXEBBXXEXE t :: ((((* -> *) -> *) -> *) -> ((* -> *) -> *) -> *)
typeIDBBBXXEXEXEBBXXEXE :: (MetaBBBXXEXEXEBBXXEXE t) => TypeBBBXXEXEXEBBXXEXE t -> TypeID
class MetaBBBXXEXEXEBXXXE t :: ((((* -> *) -> *) -> *) -> (* -> * -> *) -> *)
typeIDBBBXXEXEXEBXXXE :: (MetaBBBXXEXEXEBXXXE t) => TypeBBBXXEXEXEBXXXE t -> TypeID
class MetaBBBXXEXEXEXBXXE t :: ((((* -> *) -> *) -> *) -> * -> (* -> *) -> *)
typeIDBBBXXEXEXEXBXXE :: (MetaBBBXXEXEXEXBXXE t) => TypeBBBXXEXEXEXBXXE t -> TypeID
class MetaBBBXXEXEXEBXXEX t :: ((((* -> *) -> *) -> *) -> (* -> *) -> * -> *)
typeIDBBBXXEXEXEBXXEX :: (MetaBBBXXEXEXEBXXEX t) => TypeBBBXXEXEXEBXXEX t -> TypeID
class MetaBBBXXEXEXEXXX t :: ((((* -> *) -> *) -> *) -> * -> * -> * -> *)
typeIDBBBXXEXEXEXXX :: (MetaBBBXXEXEXEXXX t) => TypeBBBXXEXEXEXXX t -> TypeID
class MetaBBXXXEXEBBXXEXE t :: (((* -> * -> *) -> *) -> ((* -> *) -> *) -> *)
typeIDBBXXXEXEBBXXEXE :: (MetaBBXXXEXEBBXXEXE t) => TypeBBXXXEXEBBXXEXE t -> TypeID
class MetaBBXXXEXEBXXXE t :: (((* -> * -> *) -> *) -> (* -> * -> *) -> *)
typeIDBBXXXEXEBXXXE :: (MetaBBXXXEXEBXXXE t) => TypeBBXXXEXEBXXXE t -> TypeID
class MetaBBXXXEXEXBXXE t :: (((* -> * -> *) -> *) -> * -> (* -> *) -> *)
typeIDBBXXXEXEXBXXE :: (MetaBBXXXEXEXBXXE t) => TypeBBXXXEXEXBXXE t -> TypeID
class MetaBBXXXEXEBXXEX t :: (((* -> * -> *) -> *) -> (* -> *) -> * -> *)
typeIDBBXXXEXEBXXEX :: (MetaBBXXXEXEBXXEX t) => TypeBBXXXEXEBXXEX t -> TypeID
class MetaBBXXXEXEXXX t :: (((* -> * -> *) -> *) -> * -> * -> * -> *)
typeIDBBXXXEXEXXX :: (MetaBBXXXEXEXXX t) => TypeBBXXXEXEXXX t -> TypeID
class MetaBXBXXEXEBBXXEXE t :: ((* -> (* -> *) -> *) -> ((* -> *) -> *) -> *)
typeIDBXBXXEXEBBXXEXE :: (MetaBXBXXEXEBBXXEXE t) => TypeBXBXXEXEBBXXEXE t -> TypeID
class MetaBXBXXEXEBXXXE t :: ((* -> (* -> *) -> *) -> (* -> * -> *) -> *)
typeIDBXBXXEXEBXXXE :: (MetaBXBXXEXEBXXXE t) => TypeBXBXXEXEBXXXE t -> TypeID
class MetaBXBXXEXEXBXXE t :: ((* -> (* -> *) -> *) -> * -> (* -> *) -> *)
typeIDBXBXXEXEXBXXE :: (MetaBXBXXEXEXBXXE t) => TypeBXBXXEXEXBXXE t -> TypeID
class MetaBXBXXEXEBXXEX t :: ((* -> (* -> *) -> *) -> (* -> *) -> * -> *)
typeIDBXBXXEXEBXXEX :: (MetaBXBXXEXEBXXEX t) => TypeBXBXXEXEBXXEX t -> TypeID
class MetaBXBXXEXEXXX t :: ((* -> (* -> *) -> *) -> * -> * -> * -> *)
typeIDBXBXXEXEXXX :: (MetaBXBXXEXEXXX t) => TypeBXBXXEXEXXX t -> TypeID
class MetaBBXXEXXEBBXXEXE t :: (((* -> *) -> * -> *) -> ((* -> *) -> *) -> *)
typeIDBBXXEXXEBBXXEXE :: (MetaBBXXEXXEBBXXEXE t) => TypeBBXXEXXEBBXXEXE t -> TypeID
class MetaBBXXEXXEBXXXE t :: (((* -> *) -> * -> *) -> (* -> * -> *) -> *)
typeIDBBXXEXXEBXXXE :: (MetaBBXXEXXEBXXXE t) => TypeBBXXEXXEBXXXE t -> TypeID
class MetaBBXXEXXEXBXXE t :: (((* -> *) -> * -> *) -> * -> (* -> *) -> *)
typeIDBBXXEXXEXBXXE :: (MetaBBXXEXXEXBXXE t) => TypeBBXXEXXEXBXXE t -> TypeID
class MetaBBXXEXXEBXXEX t :: (((* -> *) -> * -> *) -> (* -> *) -> * -> *)
typeIDBBXXEXXEBXXEX :: (MetaBBXXEXXEBXXEX t) => TypeBBXXEXXEBXXEX t -> TypeID
class MetaBBXXEXXEXXX t :: (((* -> *) -> * -> *) -> * -> * -> * -> *)
typeIDBBXXEXXEXXX :: (MetaBBXXEXXEXXX t) => TypeBBXXEXXEXXX t -> TypeID
class MetaBXXXXEBBXXEXE t :: ((* -> * -> * -> *) -> ((* -> *) -> *) -> *)
typeIDBXXXXEBBXXEXE :: (MetaBXXXXEBBXXEXE t) => TypeBXXXXEBBXXEXE t -> TypeID
class MetaBXXXXEBXXXE t :: ((* -> * -> * -> *) -> (* -> * -> *) -> *)
typeIDBXXXXEBXXXE :: (MetaBXXXXEBXXXE t) => TypeBXXXXEBXXXE t -> TypeID
class MetaBXXXXEXBXXE t :: ((* -> * -> * -> *) -> * -> (* -> *) -> *)
typeIDBXXXXEXBXXE :: (MetaBXXXXEXBXXE t) => TypeBXXXXEXBXXE t -> TypeID
class MetaBXXXXEBXXEX t :: ((* -> * -> * -> *) -> (* -> *) -> * -> *)
typeIDBXXXXEBXXEX :: (MetaBXXXXEBXXEX t) => TypeBXXXXEBXXEX t -> TypeID
class MetaBXXXXEXXX t :: ((* -> * -> * -> *) -> * -> * -> * -> *)
typeIDBXXXXEXXX :: (MetaBXXXXEXXX t) => TypeBXXXXEXXX t -> TypeID
class MetaXXXXBBXXEXE t :: (* -> * -> * -> * -> ((* -> *) -> *) -> *)
typeIDXXXXBBXXEXE :: (MetaXXXXBBXXEXE t) => TypeXXXXBBXXEXE t -> TypeID
class MetaXXXXBXXXE t :: (* -> * -> * -> * -> (* -> * -> *) -> *)
typeIDXXXXBXXXE :: (MetaXXXXBXXXE t) => TypeXXXXBXXXE t -> TypeID
class MetaXXXBBXXEXEX t :: (* -> * -> * -> ((* -> *) -> *) -> * -> *)
typeIDXXXBBXXEXEX :: (MetaXXXBBXXEXEX t) => TypeXXXBBXXEXEX t -> TypeID
class MetaXXXBXXXEX t :: (* -> * -> * -> (* -> * -> *) -> * -> *)
typeIDXXXBXXXEX :: (MetaXXXBXXXEX t) => TypeXXXBXXXEX t -> TypeID
class MetaXXBBXXEXEBXXE t :: (* -> * -> ((* -> *) -> *) -> (* -> *) -> *)
typeIDXXBBXXEXEBXXE :: (MetaXXBBXXEXEBXXE t) => TypeXXBBXXEXEBXXE t -> TypeID
class MetaXXBBXXEXEXX t :: (* -> * -> ((* -> *) -> *) -> * -> * -> *)
typeIDXXBBXXEXEXX :: (MetaXXBBXXEXEXX t) => TypeXXBBXXEXEXX t -> TypeID
class MetaXXBXXXEBXXE t :: (* -> * -> (* -> * -> *) -> (* -> *) -> *)
typeIDXXBXXXEBXXE :: (MetaXXBXXXEBXXE t) => TypeXXBXXXEBXXE t -> TypeID
class MetaXXBXXXEXX t :: (* -> * -> (* -> * -> *) -> * -> * -> *)
typeIDXXBXXXEXX :: (MetaXXBXXXEXX t) => TypeXXBXXXEXX t -> TypeID
class MetaXBBXXEXEBBXXEXE t :: (* -> ((* -> *) -> *) -> ((* -> *) -> *) -> *)
typeIDXBBXXEXEBBXXEXE :: (MetaXBBXXEXEBBXXEXE t) => TypeXBBXXEXEBBXXEXE t -> TypeID
class MetaXBBXXEXEBXXXE t :: (* -> ((* -> *) -> *) -> (* -> * -> *) -> *)
typeIDXBBXXEXEBXXXE :: (MetaXBBXXEXEBXXXE t) => TypeXBBXXEXEBXXXE t -> TypeID
class MetaXBBXXEXEXBXXE t :: (* -> ((* -> *) -> *) -> * -> (* -> *) -> *)
typeIDXBBXXEXEXBXXE :: (MetaXBBXXEXEXBXXE t) => TypeXBBXXEXEXBXXE t -> TypeID
class MetaXBBXXEXEBXXEX t :: (* -> ((* -> *) -> *) -> (* -> *) -> * -> *)
typeIDXBBXXEXEBXXEX :: (MetaXBBXXEXEBXXEX t) => TypeXBBXXEXEBXXEX t -> TypeID
class MetaXBBXXEXEXXX t :: (* -> ((* -> *) -> *) -> * -> * -> * -> *)
typeIDXBBXXEXEXXX :: (MetaXBBXXEXEXXX t) => TypeXBBXXEXEXXX t -> TypeID
class MetaXBXXXEBBXXEXE t :: (* -> (* -> * -> *) -> ((* -> *) -> *) -> *)
typeIDXBXXXEBBXXEXE :: (MetaXBXXXEBBXXEXE t) => TypeXBXXXEBBXXEXE t -> TypeID
class MetaXBXXXEBXXXE t :: (* -> (* -> * -> *) -> (* -> * -> *) -> *)
typeIDXBXXXEBXXXE :: (MetaXBXXXEBXXXE t) => TypeXBXXXEBXXXE t -> TypeID
class MetaXBXXXEXBXXE t :: (* -> (* -> * -> *) -> * -> (* -> *) -> *)
typeIDXBXXXEXBXXE :: (MetaXBXXXEXBXXE t) => TypeXBXXXEXBXXE t -> TypeID
class MetaXBXXXEBXXEX t :: (* -> (* -> * -> *) -> (* -> *) -> * -> *)
typeIDXBXXXEBXXEX :: (MetaXBXXXEBXXEX t) => TypeXBXXXEBXXEX t -> TypeID
class MetaXBXXXEXXX t :: (* -> (* -> * -> *) -> * -> * -> * -> *)
typeIDXBXXXEXXX :: (MetaXBXXXEXXX t) => TypeXBXXXEXXX t -> TypeID
class MetaBBXXEXEBBBXXEXEXE t :: (((* -> *) -> *) -> (((* -> *) -> *) -> *) -> *)
typeIDBBXXEXEBBBXXEXEXE :: (MetaBBXXEXEBBBXXEXEXE t) => TypeBBXXEXEBBBXXEXEXE t -> TypeID
class MetaBBXXEXEBBXXXEXE t :: (((* -> *) -> *) -> ((* -> * -> *) -> *) -> *)
typeIDBBXXEXEBBXXXEXE :: (MetaBBXXEXEBBXXXEXE t) => TypeBBXXEXEBBXXXEXE t -> TypeID
class MetaBBXXEXEBXBXXEXE t :: (((* -> *) -> *) -> (* -> (* -> *) -> *) -> *)
typeIDBBXXEXEBXBXXEXE :: (MetaBBXXEXEBXBXXEXE t) => TypeBBXXEXEBXBXXEXE t -> TypeID
class MetaBBXXEXEBBXXEXXE t :: (((* -> *) -> *) -> ((* -> *) -> * -> *) -> *)
typeIDBBXXEXEBBXXEXXE :: (MetaBBXXEXEBBXXEXXE t) => TypeBBXXEXEBBXXEXXE t -> TypeID
class MetaBBXXEXEBXXXXE t :: (((* -> *) -> *) -> (* -> * -> * -> *) -> *)
typeIDBBXXEXEBXXXXE :: (MetaBBXXEXEBXXXXE t) => TypeBBXXEXEBXXXXE t -> TypeID
class MetaBBXXEXEXBBXXEXE t :: (((* -> *) -> *) -> * -> ((* -> *) -> *) -> *)
typeIDBBXXEXEXBBXXEXE :: (MetaBBXXEXEXBBXXEXE t) => TypeBBXXEXEXBBXXEXE t -> TypeID
class MetaBBXXEXEXBXXXE t :: (((* -> *) -> *) -> * -> (* -> * -> *) -> *)
typeIDBBXXEXEXBXXXE :: (MetaBBXXEXEXBXXXE t) => TypeBBXXEXEXBXXXE t -> TypeID
class MetaBBXXEXEBBXXEXEX t :: (((* -> *) -> *) -> ((* -> *) -> *) -> * -> *)
typeIDBBXXEXEBBXXEXEX :: (MetaBBXXEXEBBXXEXEX t) => TypeBBXXEXEBBXXEXEX t -> TypeID
class MetaBBXXEXEBXXXEX t :: (((* -> *) -> *) -> (* -> * -> *) -> * -> *)
typeIDBBXXEXEBXXXEX :: (MetaBBXXEXEBXXXEX t) => TypeBBXXEXEBXXXEX t -> TypeID
class MetaBBXXEXEXXBXXE t :: (((* -> *) -> *) -> * -> * -> (* -> *) -> *)
typeIDBBXXEXEXXBXXE :: (MetaBBXXEXEXXBXXE t) => TypeBBXXEXEXXBXXE t -> TypeID
class MetaBBXXEXEXBXXEX t :: (((* -> *) -> *) -> * -> (* -> *) -> * -> *)
typeIDBBXXEXEXBXXEX :: (MetaBBXXEXEXBXXEX t) => TypeBBXXEXEXBXXEX t -> TypeID
class MetaBBXXEXEBXXEBXXE t :: (((* -> *) -> *) -> (* -> *) -> (* -> *) -> *)
typeIDBBXXEXEBXXEBXXE :: (MetaBBXXEXEBXXEBXXE t) => TypeBBXXEXEBXXEBXXE t -> TypeID
class MetaBBXXEXEBXXEXX t :: (((* -> *) -> *) -> (* -> *) -> * -> * -> *)
typeIDBBXXEXEBXXEXX :: (MetaBBXXEXEBXXEXX t) => TypeBBXXEXEBXXEXX t -> TypeID
class MetaBBXXEXEXXXX t :: (((* -> *) -> *) -> * -> * -> * -> * -> *)
typeIDBBXXEXEXXXX :: (MetaBBXXEXEXXXX t) => TypeBBXXEXEXXXX t -> TypeID
class MetaBXXXEBBBXXEXEXE t :: ((* -> * -> *) -> (((* -> *) -> *) -> *) -> *)
typeIDBXXXEBBBXXEXEXE :: (MetaBXXXEBBBXXEXEXE t) => TypeBXXXEBBBXXEXEXE t -> TypeID
class MetaBXXXEBBXXXEXE t :: ((* -> * -> *) -> ((* -> * -> *) -> *) -> *)
typeIDBXXXEBBXXXEXE :: (MetaBXXXEBBXXXEXE t) => TypeBXXXEBBXXXEXE t -> TypeID
class MetaBXXXEBXBXXEXE t :: ((* -> * -> *) -> (* -> (* -> *) -> *) -> *)
typeIDBXXXEBXBXXEXE :: (MetaBXXXEBXBXXEXE t) => TypeBXXXEBXBXXEXE t -> TypeID
class MetaBXXXEBBXXEXXE t :: ((* -> * -> *) -> ((* -> *) -> * -> *) -> *)
typeIDBXXXEBBXXEXXE :: (MetaBXXXEBBXXEXXE t) => TypeBXXXEBBXXEXXE t -> TypeID
class MetaBXXXEBXXXXE t :: ((* -> * -> *) -> (* -> * -> * -> *) -> *)
typeIDBXXXEBXXXXE :: (MetaBXXXEBXXXXE t) => TypeBXXXEBXXXXE t -> TypeID
class MetaBXXXEXBBXXEXE t :: ((* -> * -> *) -> * -> ((* -> *) -> *) -> *)
typeIDBXXXEXBBXXEXE :: (MetaBXXXEXBBXXEXE t) => TypeBXXXEXBBXXEXE t -> TypeID
class MetaBXXXEXBXXXE t :: ((* -> * -> *) -> * -> (* -> * -> *) -> *)
typeIDBXXXEXBXXXE :: (MetaBXXXEXBXXXE t) => TypeBXXXEXBXXXE t -> TypeID
class MetaBXXXEBBXXEXEX t :: ((* -> * -> *) -> ((* -> *) -> *) -> * -> *)
typeIDBXXXEBBXXEXEX :: (MetaBXXXEBBXXEXEX t) => TypeBXXXEBBXXEXEX t -> TypeID
class MetaBXXXEBXXXEX t :: ((* -> * -> *) -> (* -> * -> *) -> * -> *)
typeIDBXXXEBXXXEX :: (MetaBXXXEBXXXEX t) => TypeBXXXEBXXXEX t -> TypeID
class MetaBXXXEXXBXXE t :: ((* -> * -> *) -> * -> * -> (* -> *) -> *)
typeIDBXXXEXXBXXE :: (MetaBXXXEXXBXXE t) => TypeBXXXEXXBXXE t -> TypeID
class MetaBXXXEXBXXEX t :: ((* -> * -> *) -> * -> (* -> *) -> * -> *)
typeIDBXXXEXBXXEX :: (MetaBXXXEXBXXEX t) => TypeBXXXEXBXXEX t -> TypeID
class MetaBXXXEBXXEBXXE t :: ((* -> * -> *) -> (* -> *) -> (* -> *) -> *)
typeIDBXXXEBXXEBXXE :: (MetaBXXXEBXXEBXXE t) => TypeBXXXEBXXEBXXE t -> TypeID
class MetaBXXXEBXXEXX t :: ((* -> * -> *) -> (* -> *) -> * -> * -> *)
typeIDBXXXEBXXEXX :: (MetaBXXXEBXXEXX t) => TypeBXXXEBXXEXX t -> TypeID
class MetaBXXXEXXXX t :: ((* -> * -> *) -> * -> * -> * -> * -> *)
typeIDBXXXEXXXX :: (MetaBXXXEXXXX t) => TypeBXXXEXXXX t -> TypeID
class MetaXXXXXBXXE t :: (* -> * -> * -> * -> * -> (* -> *) -> *)
typeIDXXXXXBXXE :: (MetaXXXXXBXXE t) => TypeXXXXXBXXE t -> TypeID
class MetaXXXXBXXEX t :: (* -> * -> * -> * -> (* -> *) -> * -> *)
typeIDXXXXBXXEX :: (MetaXXXXBXXEX t) => TypeXXXXBXXEX t -> TypeID
class MetaXXXBXXEBXXE t :: (* -> * -> * -> (* -> *) -> (* -> *) -> *)
typeIDXXXBXXEBXXE :: (MetaXXXBXXEBXXE t) => TypeXXXBXXEBXXE t -> TypeID
class MetaXXXBXXEXX t :: (* -> * -> * -> (* -> *) -> * -> * -> *)
typeIDXXXBXXEXX :: (MetaXXXBXXEXX t) => TypeXXXBXXEXX t -> TypeID
class MetaXXBXXEBBXXEXE t :: (* -> * -> (* -> *) -> ((* -> *) -> *) -> *)
typeIDXXBXXEBBXXEXE :: (MetaXXBXXEBBXXEXE t) => TypeXXBXXEBBXXEXE t -> TypeID
class MetaXXBXXEBXXXE t :: (* -> * -> (* -> *) -> (* -> * -> *) -> *)
typeIDXXBXXEBXXXE :: (MetaXXBXXEBXXXE t) => TypeXXBXXEBXXXE t -> TypeID
class MetaXXBXXEXBXXE t :: (* -> * -> (* -> *) -> * -> (* -> *) -> *)
typeIDXXBXXEXBXXE :: (MetaXXBXXEXBXXE t) => TypeXXBXXEXBXXE t -> TypeID
class MetaXXBXXEBXXEX t :: (* -> * -> (* -> *) -> (* -> *) -> * -> *)
typeIDXXBXXEBXXEX :: (MetaXXBXXEBXXEX t) => TypeXXBXXEBXXEX t -> TypeID
class MetaXXBXXEXXX t :: (* -> * -> (* -> *) -> * -> * -> * -> *)
typeIDXXBXXEXXX :: (MetaXXBXXEXXX t) => TypeXXBXXEXXX t -> TypeID
class MetaXBXXEBBBXXEXEXE t :: (* -> (* -> *) -> (((* -> *) -> *) -> *) -> *)
typeIDXBXXEBBBXXEXEXE :: (MetaXBXXEBBBXXEXEXE t) => TypeXBXXEBBBXXEXEXE t -> TypeID
class MetaXBXXEBBXXXEXE t :: (* -> (* -> *) -> ((* -> * -> *) -> *) -> *)
typeIDXBXXEBBXXXEXE :: (MetaXBXXEBBXXXEXE t) => TypeXBXXEBBXXXEXE t -> TypeID
class MetaXBXXEBXBXXEXE t :: (* -> (* -> *) -> (* -> (* -> *) -> *) -> *)
typeIDXBXXEBXBXXEXE :: (MetaXBXXEBXBXXEXE t) => TypeXBXXEBXBXXEXE t -> TypeID
class MetaXBXXEBBXXEXXE t :: (* -> (* -> *) -> ((* -> *) -> * -> *) -> *)
typeIDXBXXEBBXXEXXE :: (MetaXBXXEBBXXEXXE t) => TypeXBXXEBBXXEXXE t -> TypeID
class MetaXBXXEBXXXXE t :: (* -> (* -> *) -> (* -> * -> * -> *) -> *)
typeIDXBXXEBXXXXE :: (MetaXBXXEBXXXXE t) => TypeXBXXEBXXXXE t -> TypeID
class MetaXBXXEXBBXXEXE t :: (* -> (* -> *) -> * -> ((* -> *) -> *) -> *)
typeIDXBXXEXBBXXEXE :: (MetaXBXXEXBBXXEXE t) => TypeXBXXEXBBXXEXE t -> TypeID
class MetaXBXXEXBXXXE t :: (* -> (* -> *) -> * -> (* -> * -> *) -> *)
typeIDXBXXEXBXXXE :: (MetaXBXXEXBXXXE t) => TypeXBXXEXBXXXE t -> TypeID
class MetaXBXXEBBXXEXEX t :: (* -> (* -> *) -> ((* -> *) -> *) -> * -> *)
typeIDXBXXEBBXXEXEX :: (MetaXBXXEBBXXEXEX t) => TypeXBXXEBBXXEXEX t -> TypeID
class MetaXBXXEBXXXEX t :: (* -> (* -> *) -> (* -> * -> *) -> * -> *)
typeIDXBXXEBXXXEX :: (MetaXBXXEBXXXEX t) => TypeXBXXEBXXXEX t -> TypeID
class MetaXBXXEXXBXXE t :: (* -> (* -> *) -> * -> * -> (* -> *) -> *)
typeIDXBXXEXXBXXE :: (MetaXBXXEXXBXXE t) => TypeXBXXEXXBXXE t -> TypeID
class MetaXBXXEXBXXEX t :: (* -> (* -> *) -> * -> (* -> *) -> * -> *)
typeIDXBXXEXBXXEX :: (MetaXBXXEXBXXEX t) => TypeXBXXEXBXXEX t -> TypeID
class MetaXBXXEBXXEBXXE t :: (* -> (* -> *) -> (* -> *) -> (* -> *) -> *)
typeIDXBXXEBXXEBXXE :: (MetaXBXXEBXXEBXXE t) => TypeXBXXEBXXEBXXE t -> TypeID
class MetaXBXXEBXXEXX t :: (* -> (* -> *) -> (* -> *) -> * -> * -> *)
typeIDXBXXEBXXEXX :: (MetaXBXXEBXXEXX t) => TypeXBXXEBXXEXX t -> TypeID
class MetaXBXXEXXXX t :: (* -> (* -> *) -> * -> * -> * -> * -> *)
typeIDXBXXEXXXX :: (MetaXBXXEXXXX t) => TypeXBXXEXXXX t -> TypeID
class MetaBXXEBBBBXXEXEXEXE t :: ((* -> *) -> ((((* -> *) -> *) -> *) -> *) -> *)
typeIDBXXEBBBBXXEXEXEXE :: (MetaBXXEBBBBXXEXEXEXE t) => TypeBXXEBBBBXXEXEXEXE t -> TypeID
class MetaBXXEBBBXXXEXEXE t :: ((* -> *) -> (((* -> * -> *) -> *) -> *) -> *)
typeIDBXXEBBBXXXEXEXE :: (MetaBXXEBBBXXXEXEXE t) => TypeBXXEBBBXXXEXEXE t -> TypeID
class MetaBXXEBBXBXXEXEXE t :: ((* -> *) -> ((* -> (* -> *) -> *) -> *) -> *)
typeIDBXXEBBXBXXEXEXE :: (MetaBXXEBBXBXXEXEXE t) => TypeBXXEBBXBXXEXEXE t -> TypeID
class MetaBXXEBBBXXEXXEXE t :: ((* -> *) -> (((* -> *) -> * -> *) -> *) -> *)
typeIDBXXEBBBXXEXXEXE :: (MetaBXXEBBBXXEXXEXE t) => TypeBXXEBBBXXEXXEXE t -> TypeID
class MetaBXXEBBXXXXEXE t :: ((* -> *) -> ((* -> * -> * -> *) -> *) -> *)
typeIDBXXEBBXXXXEXE :: (MetaBXXEBBXXXXEXE t) => TypeBXXEBBXXXXEXE t -> TypeID
class MetaBXXEBXBBXXEXEXE t :: ((* -> *) -> (* -> ((* -> *) -> *) -> *) -> *)
typeIDBXXEBXBBXXEXEXE :: (MetaBXXEBXBBXXEXEXE t) => TypeBXXEBXBBXXEXEXE t -> TypeID
class MetaBXXEBXBXXXEXE t :: ((* -> *) -> (* -> (* -> * -> *) -> *) -> *)
typeIDBXXEBXBXXXEXE :: (MetaBXXEBXBXXXEXE t) => TypeBXXEBXBXXXEXE t -> TypeID
class MetaBXXEBBBXXEXEXXE t :: ((* -> *) -> (((* -> *) -> *) -> * -> *) -> *)
typeIDBXXEBBBXXEXEXXE :: (MetaBXXEBBBXXEXEXXE t) => TypeBXXEBBBXXEXEXXE t -> TypeID
class MetaBXXEBBXXXEXXE t :: ((* -> *) -> ((* -> * -> *) -> * -> *) -> *)
typeIDBXXEBBXXXEXXE :: (MetaBXXEBBXXXEXXE t) => TypeBXXEBBXXXEXXE t -> TypeID
class MetaBXXEBXXBXXEXE t :: ((* -> *) -> (* -> * -> (* -> *) -> *) -> *)
typeIDBXXEBXXBXXEXE :: (MetaBXXEBXXBXXEXE t) => TypeBXXEBXXBXXEXE t -> TypeID
class MetaBXXEBXBXXEXXE t :: ((* -> *) -> (* -> (* -> *) -> * -> *) -> *)
typeIDBXXEBXBXXEXXE :: (MetaBXXEBXBXXEXXE t) => TypeBXXEBXBXXEXXE t -> TypeID
class MetaBXXEBBXXEBXXEXE t :: ((* -> *) -> ((* -> *) -> (* -> *) -> *) -> *)
typeIDBXXEBBXXEBXXEXE :: (MetaBXXEBBXXEBXXEXE t) => TypeBXXEBBXXEBXXEXE t -> TypeID
class MetaBXXEBBXXEXXXE t :: ((* -> *) -> ((* -> *) -> * -> * -> *) -> *)
typeIDBXXEBBXXEXXXE :: (MetaBXXEBBXXEXXXE t) => TypeBXXEBBXXEXXXE t -> TypeID
class MetaBXXEBXXXXXE t :: ((* -> *) -> (* -> * -> * -> * -> *) -> *)
typeIDBXXEBXXXXXE :: (MetaBXXEBXXXXXE t) => TypeBXXEBXXXXXE t -> TypeID
class MetaBXXEXBBBXXEXEXE t :: ((* -> *) -> * -> (((* -> *) -> *) -> *) -> *)
typeIDBXXEXBBBXXEXEXE :: (MetaBXXEXBBBXXEXEXE t) => TypeBXXEXBBBXXEXEXE t -> TypeID
class MetaBXXEXBBXXXEXE t :: ((* -> *) -> * -> ((* -> * -> *) -> *) -> *)
typeIDBXXEXBBXXXEXE :: (MetaBXXEXBBXXXEXE t) => TypeBXXEXBBXXXEXE t -> TypeID
class MetaBXXEXBXBXXEXE t :: ((* -> *) -> * -> (* -> (* -> *) -> *) -> *)
typeIDBXXEXBXBXXEXE :: (MetaBXXEXBXBXXEXE t) => TypeBXXEXBXBXXEXE t -> TypeID
class MetaBXXEXBBXXEXXE t :: ((* -> *) -> * -> ((* -> *) -> * -> *) -> *)
typeIDBXXEXBBXXEXXE :: (MetaBXXEXBBXXEXXE t) => TypeBXXEXBBXXEXXE t -> TypeID
class MetaBXXEXBXXXXE t :: ((* -> *) -> * -> (* -> * -> * -> *) -> *)
typeIDBXXEXBXXXXE :: (MetaBXXEXBXXXXE t) => TypeBXXEXBXXXXE t -> TypeID
class MetaBXXEBBBXXEXEXEX t :: ((* -> *) -> (((* -> *) -> *) -> *) -> * -> *)
typeIDBXXEBBBXXEXEXEX :: (MetaBXXEBBBXXEXEXEX t) => TypeBXXEBBBXXEXEXEX t -> TypeID
class MetaBXXEBBXXXEXEX t :: ((* -> *) -> ((* -> * -> *) -> *) -> * -> *)
typeIDBXXEBBXXXEXEX :: (MetaBXXEBBXXXEXEX t) => TypeBXXEBBXXXEXEX t -> TypeID
class MetaBXXEBXBXXEXEX t :: ((* -> *) -> (* -> (* -> *) -> *) -> * -> *)
typeIDBXXEBXBXXEXEX :: (MetaBXXEBXBXXEXEX t) => TypeBXXEBXBXXEXEX t -> TypeID
class MetaBXXEBBXXEXXEX t :: ((* -> *) -> ((* -> *) -> * -> *) -> * -> *)
typeIDBXXEBBXXEXXEX :: (MetaBXXEBBXXEXXEX t) => TypeBXXEBBXXEXXEX t -> TypeID
class MetaBXXEBXXXXEX t :: ((* -> *) -> (* -> * -> * -> *) -> * -> *)
typeIDBXXEBXXXXEX :: (MetaBXXEBXXXXEX t) => TypeBXXEBXXXXEX t -> TypeID
class MetaBXXEXXBBXXEXE t :: ((* -> *) -> * -> * -> ((* -> *) -> *) -> *)
typeIDBXXEXXBBXXEXE :: (MetaBXXEXXBBXXEXE t) => TypeBXXEXXBBXXEXE t -> TypeID
class MetaBXXEXXBXXXE t :: ((* -> *) -> * -> * -> (* -> * -> *) -> *)
typeIDBXXEXXBXXXE :: (MetaBXXEXXBXXXE t) => TypeBXXEXXBXXXE t -> TypeID
class MetaBXXEXBBXXEXEX t :: ((* -> *) -> * -> ((* -> *) -> *) -> * -> *)
typeIDBXXEXBBXXEXEX :: (MetaBXXEXBBXXEXEX t) => TypeBXXEXBBXXEXEX t -> TypeID
class MetaBXXEXBXXXEX t :: ((* -> *) -> * -> (* -> * -> *) -> * -> *)
typeIDBXXEXBXXXEX :: (MetaBXXEXBXXXEX t) => TypeBXXEXBXXXEX t -> TypeID
class MetaBXXEBBXXEXEBXXE t :: ((* -> *) -> ((* -> *) -> *) -> (* -> *) -> *)
typeIDBXXEBBXXEXEBXXE :: (MetaBXXEBBXXEXEBXXE t) => TypeBXXEBBXXEXEBXXE t -> TypeID
class MetaBXXEBBXXEXEXX t :: ((* -> *) -> ((* -> *) -> *) -> * -> * -> *)
typeIDBXXEBBXXEXEXX :: (MetaBXXEBBXXEXEXX t) => TypeBXXEBBXXEXEXX t -> TypeID
class MetaBXXEBXXXEBXXE t :: ((* -> *) -> (* -> * -> *) -> (* -> *) -> *)
typeIDBXXEBXXXEBXXE :: (MetaBXXEBXXXEBXXE t) => TypeBXXEBXXXEBXXE t -> TypeID
class MetaBXXEBXXXEXX t :: ((* -> *) -> (* -> * -> *) -> * -> * -> *)
typeIDBXXEBXXXEXX :: (MetaBXXEBXXXEXX t) => TypeBXXEBXXXEXX t -> TypeID
class MetaBXXEXXXBXXE t :: ((* -> *) -> * -> * -> * -> (* -> *) -> *)
typeIDBXXEXXXBXXE :: (MetaBXXEXXXBXXE t) => TypeBXXEXXXBXXE t -> TypeID
class MetaBXXEXXBXXEX t :: ((* -> *) -> * -> * -> (* -> *) -> * -> *)
typeIDBXXEXXBXXEX :: (MetaBXXEXXBXXEX t) => TypeBXXEXXBXXEX t -> TypeID
class MetaBXXEXBXXEBXXE t :: ((* -> *) -> * -> (* -> *) -> (* -> *) -> *)
typeIDBXXEXBXXEBXXE :: (MetaBXXEXBXXEBXXE t) => TypeBXXEXBXXEBXXE t -> TypeID
class MetaBXXEXBXXEXX t :: ((* -> *) -> * -> (* -> *) -> * -> * -> *)
typeIDBXXEXBXXEXX :: (MetaBXXEXBXXEXX t) => TypeBXXEXBXXEXX t -> TypeID
class MetaBXXEBXXEBBXXEXE t :: ((* -> *) -> (* -> *) -> ((* -> *) -> *) -> *)
typeIDBXXEBXXEBBXXEXE :: (MetaBXXEBXXEBBXXEXE t) => TypeBXXEBXXEBBXXEXE t -> TypeID
class MetaBXXEBXXEBXXXE t :: ((* -> *) -> (* -> *) -> (* -> * -> *) -> *)
typeIDBXXEBXXEBXXXE :: (MetaBXXEBXXEBXXXE t) => TypeBXXEBXXEBXXXE t -> TypeID
class MetaBXXEBXXEXBXXE t :: ((* -> *) -> (* -> *) -> * -> (* -> *) -> *)
typeIDBXXEBXXEXBXXE :: (MetaBXXEBXXEXBXXE t) => TypeBXXEBXXEXBXXE t -> TypeID
class MetaBXXEBXXEBXXEX t :: ((* -> *) -> (* -> *) -> (* -> *) -> * -> *)
typeIDBXXEBXXEBXXEX :: (MetaBXXEBXXEBXXEX t) => TypeBXXEBXXEBXXEX t -> TypeID
class MetaBXXEBXXEXXX t :: ((* -> *) -> (* -> *) -> * -> * -> * -> *)
typeIDBXXEBXXEXXX :: (MetaBXXEBXXEXXX t) => TypeBXXEBXXEXXX t -> TypeID
class MetaBXXEXXXXX t :: ((* -> *) -> * -> * -> * -> * -> * -> *)
typeIDBXXEXXXXX :: (MetaBXXEXXXXX t) => TypeBXXEXXXXX t -> TypeID
class MetaXXXXXXX t :: (* -> * -> * -> * -> * -> * -> * -> *)
typeIDXXXXXXX :: (MetaXXXXXXX t) => TypeXXXXXXX t -> TypeID
class MetaBBBBBXXEXEXEXEXE t :: ((((((* -> *) -> *) -> *) -> *) -> *) -> *)
typeIDBBBBBXXEXEXEXEXE :: (MetaBBBBBXXEXEXEXEXE t) => TypeBBBBBXXEXEXEXEXE t -> TypeID
class MetaBBBBXXXEXEXEXE t :: (((((* -> * -> *) -> *) -> *) -> *) -> *)
typeIDBBBBXXXEXEXEXE :: (MetaBBBBXXXEXEXEXE t) => TypeBBBBXXXEXEXEXE t -> TypeID
class MetaBBBXBXXEXEXEXE t :: ((((* -> (* -> *) -> *) -> *) -> *) -> *)
typeIDBBBXBXXEXEXEXE :: (MetaBBBXBXXEXEXEXE t) => TypeBBBXBXXEXEXEXE t -> TypeID
class MetaBBBBXXEXXEXEXE t :: (((((* -> *) -> * -> *) -> *) -> *) -> *)
typeIDBBBBXXEXXEXEXE :: (MetaBBBBXXEXXEXEXE t) => TypeBBBBXXEXXEXEXE t -> TypeID
class MetaBBBXXXXEXEXE t :: ((((* -> * -> * -> *) -> *) -> *) -> *)
typeIDBBBXXXXEXEXE :: (MetaBBBXXXXEXEXE t) => TypeBBBXXXXEXEXE t -> TypeID
class MetaBBXBBXXEXEXEXE t :: (((* -> ((* -> *) -> *) -> *) -> *) -> *)
typeIDBBXBBXXEXEXEXE :: (MetaBBXBBXXEXEXEXE t) => TypeBBXBBXXEXEXEXE t -> TypeID
class MetaBBXBXXXEXEXE t :: (((* -> (* -> * -> *) -> *) -> *) -> *)
typeIDBBXBXXXEXEXE :: (MetaBBXBXXXEXEXE t) => TypeBBXBXXXEXEXE t -> TypeID
class MetaBBBBXXEXEXXEXE t :: (((((* -> *) -> *) -> * -> *) -> *) -> *)
typeIDBBBBXXEXEXXEXE :: (MetaBBBBXXEXEXXEXE t) => TypeBBBBXXEXEXXEXE t -> TypeID
class MetaBBBXXXEXXEXE t :: ((((* -> * -> *) -> * -> *) -> *) -> *)
typeIDBBBXXXEXXEXE :: (MetaBBBXXXEXXEXE t) => TypeBBBXXXEXXEXE t -> TypeID
class MetaBBXXBXXEXEXE t :: (((* -> * -> (* -> *) -> *) -> *) -> *)
typeIDBBXXBXXEXEXE :: (MetaBBXXBXXEXEXE t) => TypeBBXXBXXEXEXE t -> TypeID
class MetaBBXBXXEXXEXE t :: (((* -> (* -> *) -> * -> *) -> *) -> *)
typeIDBBXBXXEXXEXE :: (MetaBBXBXXEXXEXE t) => TypeBBXBXXEXXEXE t -> TypeID
class MetaBBBXXEBXXEXEXE t :: ((((* -> *) -> (* -> *) -> *) -> *) -> *)
typeIDBBBXXEBXXEXEXE :: (MetaBBBXXEBXXEXEXE t) => TypeBBBXXEBXXEXEXE t -> TypeID
class MetaBBBXXEXXXEXE t :: ((((* -> *) -> * -> * -> *) -> *) -> *)
typeIDBBBXXEXXXEXE :: (MetaBBBXXEXXXEXE t) => TypeBBBXXEXXXEXE t -> TypeID
class MetaBBXXXXXEXE t :: (((* -> * -> * -> * -> *) -> *) -> *)
typeIDBBXXXXXEXE :: (MetaBBXXXXXEXE t) => TypeBBXXXXXEXE t -> TypeID
class MetaBXBBBXXEXEXEXE t :: ((* -> (((* -> *) -> *) -> *) -> *) -> *)
typeIDBXBBBXXEXEXEXE :: (MetaBXBBBXXEXEXEXE t) => TypeBXBBBXXEXEXEXE t -> TypeID
class MetaBXBBXXXEXEXE t :: ((* -> ((* -> * -> *) -> *) -> *) -> *)
typeIDBXBBXXXEXEXE :: (MetaBXBBXXXEXEXE t) => TypeBXBBXXXEXEXE t -> TypeID
class MetaBXBXBXXEXEXE t :: ((* -> (* -> (* -> *) -> *) -> *) -> *)
typeIDBXBXBXXEXEXE :: (MetaBXBXBXXEXEXE t) => TypeBXBXBXXEXEXE t -> TypeID
class MetaBXBBXXEXXEXE t :: ((* -> ((* -> *) -> * -> *) -> *) -> *)
typeIDBXBBXXEXXEXE :: (MetaBXBBXXEXXEXE t) => TypeBXBBXXEXXEXE t -> TypeID
class MetaBXBXXXXEXE t :: ((* -> (* -> * -> * -> *) -> *) -> *)
typeIDBXBXXXXEXE :: (MetaBXBXXXXEXE t) => TypeBXBXXXXEXE t -> TypeID
class MetaBBBBXXEXEXEXXE t :: (((((* -> *) -> *) -> *) -> * -> *) -> *)
typeIDBBBBXXEXEXEXXE :: (MetaBBBBXXEXEXEXXE t) => TypeBBBBXXEXEXEXXE t -> TypeID
class MetaBBBXXXEXEXXE t :: ((((* -> * -> *) -> *) -> * -> *) -> *)
typeIDBBBXXXEXEXXE :: (MetaBBBXXXEXEXXE t) => TypeBBBXXXEXEXXE t -> TypeID
class MetaBBXBXXEXEXXE t :: (((* -> (* -> *) -> *) -> * -> *) -> *)
typeIDBBXBXXEXEXXE :: (MetaBBXBXXEXEXXE t) => TypeBBXBXXEXEXXE t -> TypeID
class MetaBBBXXEXXEXXE t :: ((((* -> *) -> * -> *) -> * -> *) -> *)
typeIDBBBXXEXXEXXE :: (MetaBBBXXEXXEXXE t) => TypeBBBXXEXXEXXE t -> TypeID
class MetaBBXXXXEXXE t :: (((* -> * -> * -> *) -> * -> *) -> *)
typeIDBBXXXXEXXE :: (MetaBBXXXXEXXE t) => TypeBBXXXXEXXE t -> TypeID
class MetaBXXBBXXEXEXE t :: ((* -> * -> ((* -> *) -> *) -> *) -> *)
typeIDBXXBBXXEXEXE :: (MetaBXXBBXXEXEXE t) => TypeBXXBBXXEXEXE t -> TypeID
class MetaBXXBXXXEXE t :: ((* -> * -> (* -> * -> *) -> *) -> *)
typeIDBXXBXXXEXE :: (MetaBXXBXXXEXE t) => TypeBXXBXXXEXE t -> TypeID
class MetaBXBBXXEXEXXE t :: ((* -> ((* -> *) -> *) -> * -> *) -> *)
typeIDBXBBXXEXEXXE :: (MetaBXBBXXEXEXXE t) => TypeBXBBXXEXEXXE t -> TypeID
class MetaBXBXXXEXXE t :: ((* -> (* -> * -> *) -> * -> *) -> *)
typeIDBXBXXXEXXE :: (MetaBXBXXXEXXE t) => TypeBXBXXXEXXE t -> TypeID
class MetaBBBXXEXEBXXEXE t :: ((((* -> *) -> *) -> (* -> *) -> *) -> *)
typeIDBBBXXEXEBXXEXE :: (MetaBBBXXEXEBXXEXE t) => TypeBBBXXEXEBXXEXE t -> TypeID
class MetaBBBXXEXEXXXE t :: ((((* -> *) -> *) -> * -> * -> *) -> *)
typeIDBBBXXEXEXXXE :: (MetaBBBXXEXEXXXE t) => TypeBBBXXEXEXXXE t -> TypeID
class MetaBBXXXEBXXEXE t :: (((* -> * -> *) -> (* -> *) -> *) -> *)
typeIDBBXXXEBXXEXE :: (MetaBBXXXEBXXEXE t) => TypeBBXXXEBXXEXE t -> TypeID
class MetaBBXXXEXXXE t :: (((* -> * -> *) -> * -> * -> *) -> *)
typeIDBBXXXEXXXE :: (MetaBBXXXEXXXE t) => TypeBBXXXEXXXE t -> TypeID
class MetaBXXXBXXEXE t :: ((* -> * -> * -> (* -> *) -> *) -> *)
typeIDBXXXBXXEXE :: (MetaBXXXBXXEXE t) => TypeBXXXBXXEXE t -> TypeID
class MetaBXXBXXEXXE t :: ((* -> * -> (* -> *) -> * -> *) -> *)
typeIDBXXBXXEXXE :: (MetaBXXBXXEXXE t) => TypeBXXBXXEXXE t -> TypeID
class MetaBXBXXEBXXEXE t :: ((* -> (* -> *) -> (* -> *) -> *) -> *)
typeIDBXBXXEBXXEXE :: (MetaBXBXXEBXXEXE t) => TypeBXBXXEBXXEXE t -> TypeID
class MetaBXBXXEXXXE t :: ((* -> (* -> *) -> * -> * -> *) -> *)
typeIDBXBXXEXXXE :: (MetaBXBXXEXXXE t) => TypeBXBXXEXXXE t -> TypeID
class MetaBBXXEBBXXEXEXE t :: (((* -> *) -> ((* -> *) -> *) -> *) -> *)
typeIDBBXXEBBXXEXEXE :: (MetaBBXXEBBXXEXEXE t) => TypeBBXXEBBXXEXEXE t -> TypeID
class MetaBBXXEBXXXEXE t :: (((* -> *) -> (* -> * -> *) -> *) -> *)
typeIDBBXXEBXXXEXE :: (MetaBBXXEBXXXEXE t) => TypeBBXXEBXXXEXE t -> TypeID
class MetaBBXXEXBXXEXE t :: (((* -> *) -> * -> (* -> *) -> *) -> *)
typeIDBBXXEXBXXEXE :: (MetaBBXXEXBXXEXE t) => TypeBBXXEXBXXEXE t -> TypeID
class MetaBBXXEBXXEXXE t :: (((* -> *) -> (* -> *) -> * -> *) -> *)
typeIDBBXXEBXXEXXE :: (MetaBBXXEBXXEXXE t) => TypeBBXXEBXXEXXE t -> TypeID
class MetaBBXXEXXXXE t :: (((* -> *) -> * -> * -> * -> *) -> *)
typeIDBBXXEXXXXE :: (MetaBBXXEXXXXE t) => TypeBBXXEXXXXE t -> TypeID
class MetaBXXXXXXE t :: ((* -> * -> * -> * -> * -> *) -> *)
typeIDBXXXXXXE :: (MetaBXXXXXXE t) => TypeBXXXXXXE t -> TypeID
class MetaXBBBBXXEXEXEXE t :: (* -> ((((* -> *) -> *) -> *) -> *) -> *)
typeIDXBBBBXXEXEXEXE :: (MetaXBBBBXXEXEXEXE t) => TypeXBBBBXXEXEXEXE t -> TypeID
class MetaXBBBXXXEXEXE t :: (* -> (((* -> * -> *) -> *) -> *) -> *)
typeIDXBBBXXXEXEXE :: (MetaXBBBXXXEXEXE t) => TypeXBBBXXXEXEXE t -> TypeID
class MetaXBBXBXXEXEXE t :: (* -> ((* -> (* -> *) -> *) -> *) -> *)
typeIDXBBXBXXEXEXE :: (MetaXBBXBXXEXEXE t) => TypeXBBXBXXEXEXE t -> TypeID
class MetaXBBBXXEXXEXE t :: (* -> (((* -> *) -> * -> *) -> *) -> *)
typeIDXBBBXXEXXEXE :: (MetaXBBBXXEXXEXE t) => TypeXBBBXXEXXEXE t -> TypeID
class MetaXBBXXXXEXE t :: (* -> ((* -> * -> * -> *) -> *) -> *)
typeIDXBBXXXXEXE :: (MetaXBBXXXXEXE t) => TypeXBBXXXXEXE t -> TypeID
class MetaXBXBBXXEXEXE t :: (* -> (* -> ((* -> *) -> *) -> *) -> *)
typeIDXBXBBXXEXEXE :: (MetaXBXBBXXEXEXE t) => TypeXBXBBXXEXEXE t -> TypeID
class MetaXBXBXXXEXE t :: (* -> (* -> (* -> * -> *) -> *) -> *)
typeIDXBXBXXXEXE :: (MetaXBXBXXXEXE t) => TypeXBXBXXXEXE t -> TypeID
class MetaXBBBXXEXEXXE t :: (* -> (((* -> *) -> *) -> * -> *) -> *)
typeIDXBBBXXEXEXXE :: (MetaXBBBXXEXEXXE t) => TypeXBBBXXEXEXXE t -> TypeID
class MetaXBBXXXEXXE t :: (* -> ((* -> * -> *) -> * -> *) -> *)
typeIDXBBXXXEXXE :: (MetaXBBXXXEXXE t) => TypeXBBXXXEXXE t -> TypeID
class MetaXBXXBXXEXE t :: (* -> (* -> * -> (* -> *) -> *) -> *)
typeIDXBXXBXXEXE :: (MetaXBXXBXXEXE t) => TypeXBXXBXXEXE t -> TypeID
class MetaXBXBXXEXXE t :: (* -> (* -> (* -> *) -> * -> *) -> *)
typeIDXBXBXXEXXE :: (MetaXBXBXXEXXE t) => TypeXBXBXXEXXE t -> TypeID
class MetaXBBXXEBXXEXE t :: (* -> ((* -> *) -> (* -> *) -> *) -> *)
typeIDXBBXXEBXXEXE :: (MetaXBBXXEBXXEXE t) => TypeXBBXXEBXXEXE t -> TypeID
class MetaXBBXXEXXXE t :: (* -> ((* -> *) -> * -> * -> *) -> *)
typeIDXBBXXEXXXE :: (MetaXBBXXEXXXE t) => TypeXBBXXEXXXE t -> TypeID
class MetaXBXXXXXE t :: (* -> (* -> * -> * -> * -> *) -> *)
typeIDXBXXXXXE :: (MetaXBXXXXXE t) => TypeXBXXXXXE t -> TypeID
class MetaBBBBXXEXEXEXEX t :: (((((* -> *) -> *) -> *) -> *) -> * -> *)
typeIDBBBBXXEXEXEXEX :: (MetaBBBBXXEXEXEXEX t) => TypeBBBBXXEXEXEXEX t -> TypeID
class MetaBBBXXXEXEXEX t :: ((((* -> * -> *) -> *) -> *) -> * -> *)
typeIDBBBXXXEXEXEX :: (MetaBBBXXXEXEXEX t) => TypeBBBXXXEXEXEX t -> TypeID
class MetaBBXBXXEXEXEX t :: (((* -> (* -> *) -> *) -> *) -> * -> *)
typeIDBBXBXXEXEXEX :: (MetaBBXBXXEXEXEX t) => TypeBBXBXXEXEXEX t -> TypeID
class MetaBBBXXEXXEXEX t :: ((((* -> *) -> * -> *) -> *) -> * -> *)
typeIDBBBXXEXXEXEX :: (MetaBBBXXEXXEXEX t) => TypeBBBXXEXXEXEX t -> TypeID
class MetaBBXXXXEXEX t :: (((* -> * -> * -> *) -> *) -> * -> *)
typeIDBBXXXXEXEX :: (MetaBBXXXXEXEX t) => TypeBBXXXXEXEX t -> TypeID
class MetaBXBBXXEXEXEX t :: ((* -> ((* -> *) -> *) -> *) -> * -> *)
typeIDBXBBXXEXEXEX :: (MetaBXBBXXEXEXEX t) => TypeBXBBXXEXEXEX t -> TypeID
class MetaBXBXXXEXEX t :: ((* -> (* -> * -> *) -> *) -> * -> *)
typeIDBXBXXXEXEX :: (MetaBXBXXXEXEX t) => TypeBXBXXXEXEX t -> TypeID
class MetaBBBXXEXEXXEX t :: ((((* -> *) -> *) -> * -> *) -> * -> *)
typeIDBBBXXEXEXXEX :: (MetaBBBXXEXEXXEX t) => TypeBBBXXEXEXXEX t -> TypeID
class MetaBBXXXEXXEX t :: (((* -> * -> *) -> * -> *) -> * -> *)
typeIDBBXXXEXXEX :: (MetaBBXXXEXXEX t) => TypeBBXXXEXXEX t -> TypeID
class MetaBXXBXXEXEX t :: ((* -> * -> (* -> *) -> *) -> * -> *)
typeIDBXXBXXEXEX :: (MetaBXXBXXEXEX t) => TypeBXXBXXEXEX t -> TypeID
class MetaBXBXXEXXEX t :: ((* -> (* -> *) -> * -> *) -> * -> *)
typeIDBXBXXEXXEX :: (MetaBXBXXEXXEX t) => TypeBXBXXEXXEX t -> TypeID
class MetaBBXXEBXXEXEX t :: (((* -> *) -> (* -> *) -> *) -> * -> *)
typeIDBBXXEBXXEXEX :: (MetaBBXXEBXXEXEX t) => TypeBBXXEBXXEXEX t -> TypeID
class MetaBBXXEXXXEX t :: (((* -> *) -> * -> * -> *) -> * -> *)
typeIDBBXXEXXXEX :: (MetaBBXXEXXXEX t) => TypeBBXXEXXXEX t -> TypeID
class MetaBXXXXXEX t :: ((* -> * -> * -> * -> *) -> * -> *)
typeIDBXXXXXEX :: (MetaBXXXXXEX t) => TypeBXXXXXEX t -> TypeID
class MetaXXBBBXXEXEXE t :: (* -> * -> (((* -> *) -> *) -> *) -> *)
typeIDXXBBBXXEXEXE :: (MetaXXBBBXXEXEXE t) => TypeXXBBBXXEXEXE t -> TypeID
class MetaXXBBXXXEXE t :: (* -> * -> ((* -> * -> *) -> *) -> *)
typeIDXXBBXXXEXE :: (MetaXXBBXXXEXE t) => TypeXXBBXXXEXE t -> TypeID
class MetaXXBXBXXEXE t :: (* -> * -> (* -> (* -> *) -> *) -> *)
typeIDXXBXBXXEXE :: (MetaXXBXBXXEXE t) => TypeXXBXBXXEXE t -> TypeID
class MetaXXBBXXEXXE t :: (* -> * -> ((* -> *) -> * -> *) -> *)
typeIDXXBBXXEXXE :: (MetaXXBBXXEXXE t) => TypeXXBBXXEXXE t -> TypeID
class MetaXXBXXXXE t :: (* -> * -> (* -> * -> * -> *) -> *)
typeIDXXBXXXXE :: (MetaXXBXXXXE t) => TypeXXBXXXXE t -> TypeID
class MetaXBBBXXEXEXEX t :: (* -> (((* -> *) -> *) -> *) -> * -> *)
typeIDXBBBXXEXEXEX :: (MetaXBBBXXEXEXEX t) => TypeXBBBXXEXEXEX t -> TypeID
class MetaXBBXXXEXEX t :: (* -> ((* -> * -> *) -> *) -> * -> *)
typeIDXBBXXXEXEX :: (MetaXBBXXXEXEX t) => TypeXBBXXXEXEX t -> TypeID
class MetaXBXBXXEXEX t :: (* -> (* -> (* -> *) -> *) -> * -> *)
typeIDXBXBXXEXEX :: (MetaXBXBXXEXEX t) => TypeXBXBXXEXEX t -> TypeID
class MetaXBBXXEXXEX t :: (* -> ((* -> *) -> * -> *) -> * -> *)
typeIDXBBXXEXXEX :: (MetaXBBXXEXXEX t) => TypeXBBXXEXXEX t -> TypeID
class MetaXBXXXXEX t :: (* -> (* -> * -> * -> *) -> * -> *)
typeIDXBXXXXEX :: (MetaXBXXXXEX t) => TypeXBXXXXEX t -> TypeID
class MetaBBBXXEXEXEBXXE t :: ((((* -> *) -> *) -> *) -> (* -> *) -> *)
typeIDBBBXXEXEXEBXXE :: (MetaBBBXXEXEXEBXXE t) => TypeBBBXXEXEXEBXXE t -> TypeID
class MetaBBBXXEXEXEXX t :: ((((* -> *) -> *) -> *) -> * -> * -> *)
typeIDBBBXXEXEXEXX :: (MetaBBBXXEXEXEXX t) => TypeBBBXXEXEXEXX t -> TypeID
class MetaBBXXXEXEBXXE t :: (((* -> * -> *) -> *) -> (* -> *) -> *)
typeIDBBXXXEXEBXXE :: (MetaBBXXXEXEBXXE t) => TypeBBXXXEXEBXXE t -> TypeID
class MetaBBXXXEXEXX t :: (((* -> * -> *) -> *) -> * -> * -> *)
typeIDBBXXXEXEXX :: (MetaBBXXXEXEXX t) => TypeBBXXXEXEXX t -> TypeID
class MetaBXBXXEXEBXXE t :: ((* -> (* -> *) -> *) -> (* -> *) -> *)
typeIDBXBXXEXEBXXE :: (MetaBXBXXEXEBXXE t) => TypeBXBXXEXEBXXE t -> TypeID
class MetaBXBXXEXEXX t :: ((* -> (* -> *) -> *) -> * -> * -> *)
typeIDBXBXXEXEXX :: (MetaBXBXXEXEXX t) => TypeBXBXXEXEXX t -> TypeID
class MetaBBXXEXXEBXXE t :: (((* -> *) -> * -> *) -> (* -> *) -> *)
typeIDBBXXEXXEBXXE :: (MetaBBXXEXXEBXXE t) => TypeBBXXEXXEBXXE t -> TypeID
class MetaBBXXEXXEXX t :: (((* -> *) -> * -> *) -> * -> * -> *)
typeIDBBXXEXXEXX :: (MetaBBXXEXXEXX t) => TypeBBXXEXXEXX t -> TypeID
class MetaBXXXXEBXXE t :: ((* -> * -> * -> *) -> (* -> *) -> *)
typeIDBXXXXEBXXE :: (MetaBXXXXEBXXE t) => TypeBXXXXEBXXE t -> TypeID
class MetaBXXXXEXX t :: ((* -> * -> * -> *) -> * -> * -> *)
typeIDBXXXXEXX :: (MetaBXXXXEXX t) => TypeBXXXXEXX t -> TypeID
class MetaXXXBBXXEXE t :: (* -> * -> * -> ((* -> *) -> *) -> *)
typeIDXXXBBXXEXE :: (MetaXXXBBXXEXE t) => TypeXXXBBXXEXE t -> TypeID
class MetaXXXBXXXE t :: (* -> * -> * -> (* -> * -> *) -> *)
typeIDXXXBXXXE :: (MetaXXXBXXXE t) => TypeXXXBXXXE t -> TypeID
class MetaXXBBXXEXEX t :: (* -> * -> ((* -> *) -> *) -> * -> *)
typeIDXXBBXXEXEX :: (MetaXXBBXXEXEX t) => TypeXXBBXXEXEX t -> TypeID
class MetaXXBXXXEX t :: (* -> * -> (* -> * -> *) -> * -> *)
typeIDXXBXXXEX :: (MetaXXBXXXEX t) => TypeXXBXXXEX t -> TypeID
class MetaXBBXXEXEBXXE t :: (* -> ((* -> *) -> *) -> (* -> *) -> *)
typeIDXBBXXEXEBXXE :: (MetaXBBXXEXEBXXE t) => TypeXBBXXEXEBXXE t -> TypeID
class MetaXBBXXEXEXX t :: (* -> ((* -> *) -> *) -> * -> * -> *)
typeIDXBBXXEXEXX :: (MetaXBBXXEXEXX t) => TypeXBBXXEXEXX t -> TypeID
class MetaXBXXXEBXXE t :: (* -> (* -> * -> *) -> (* -> *) -> *)
typeIDXBXXXEBXXE :: (MetaXBXXXEBXXE t) => TypeXBXXXEBXXE t -> TypeID
class MetaXBXXXEXX t :: (* -> (* -> * -> *) -> * -> * -> *)
typeIDXBXXXEXX :: (MetaXBXXXEXX t) => TypeXBXXXEXX t -> TypeID
class MetaBBXXEXEBBXXEXE t :: (((* -> *) -> *) -> ((* -> *) -> *) -> *)
typeIDBBXXEXEBBXXEXE :: (MetaBBXXEXEBBXXEXE t) => TypeBBXXEXEBBXXEXE t -> TypeID
class MetaBBXXEXEBXXXE t :: (((* -> *) -> *) -> (* -> * -> *) -> *)
typeIDBBXXEXEBXXXE :: (MetaBBXXEXEBXXXE t) => TypeBBXXEXEBXXXE t -> TypeID
class MetaBBXXEXEXBXXE t :: (((* -> *) -> *) -> * -> (* -> *) -> *)
typeIDBBXXEXEXBXXE :: (MetaBBXXEXEXBXXE t) => TypeBBXXEXEXBXXE t -> TypeID
class MetaBBXXEXEBXXEX t :: (((* -> *) -> *) -> (* -> *) -> * -> *)
typeIDBBXXEXEBXXEX :: (MetaBBXXEXEBXXEX t) => TypeBBXXEXEBXXEX t -> TypeID
class MetaBBXXEXEXXX t :: (((* -> *) -> *) -> * -> * -> * -> *)
typeIDBBXXEXEXXX :: (MetaBBXXEXEXXX t) => TypeBBXXEXEXXX t -> TypeID
class MetaBXXXEBBXXEXE t :: ((* -> * -> *) -> ((* -> *) -> *) -> *)
typeIDBXXXEBBXXEXE :: (MetaBXXXEBBXXEXE t) => TypeBXXXEBBXXEXE t -> TypeID
class MetaBXXXEBXXXE t :: ((* -> * -> *) -> (* -> * -> *) -> *)
typeIDBXXXEBXXXE :: (MetaBXXXEBXXXE t) => TypeBXXXEBXXXE t -> TypeID
class MetaBXXXEXBXXE t :: ((* -> * -> *) -> * -> (* -> *) -> *)
typeIDBXXXEXBXXE :: (MetaBXXXEXBXXE t) => TypeBXXXEXBXXE t -> TypeID
class MetaBXXXEBXXEX t :: ((* -> * -> *) -> (* -> *) -> * -> *)
typeIDBXXXEBXXEX :: (MetaBXXXEBXXEX t) => TypeBXXXEBXXEX t -> TypeID
class MetaBXXXEXXX t :: ((* -> * -> *) -> * -> * -> * -> *)
typeIDBXXXEXXX :: (MetaBXXXEXXX t) => TypeBXXXEXXX t -> TypeID
class MetaXXXXBXXE t :: (* -> * -> * -> * -> (* -> *) -> *)
typeIDXXXXBXXE :: (MetaXXXXBXXE t) => TypeXXXXBXXE t -> TypeID
class MetaXXXBXXEX t :: (* -> * -> * -> (* -> *) -> * -> *)
typeIDXXXBXXEX :: (MetaXXXBXXEX t) => TypeXXXBXXEX t -> TypeID
class MetaXXBXXEBXXE t :: (* -> * -> (* -> *) -> (* -> *) -> *)
typeIDXXBXXEBXXE :: (MetaXXBXXEBXXE t) => TypeXXBXXEBXXE t -> TypeID
class MetaXXBXXEXX t :: (* -> * -> (* -> *) -> * -> * -> *)
typeIDXXBXXEXX :: (MetaXXBXXEXX t) => TypeXXBXXEXX t -> TypeID
class MetaXBXXEBBXXEXE t :: (* -> (* -> *) -> ((* -> *) -> *) -> *)
typeIDXBXXEBBXXEXE :: (MetaXBXXEBBXXEXE t) => TypeXBXXEBBXXEXE t -> TypeID
class MetaXBXXEBXXXE t :: (* -> (* -> *) -> (* -> * -> *) -> *)
typeIDXBXXEBXXXE :: (MetaXBXXEBXXXE t) => TypeXBXXEBXXXE t -> TypeID
class MetaXBXXEXBXXE t :: (* -> (* -> *) -> * -> (* -> *) -> *)
typeIDXBXXEXBXXE :: (MetaXBXXEXBXXE t) => TypeXBXXEXBXXE t -> TypeID
class MetaXBXXEBXXEX t :: (* -> (* -> *) -> (* -> *) -> * -> *)
typeIDXBXXEBXXEX :: (MetaXBXXEBXXEX t) => TypeXBXXEBXXEX t -> TypeID
class MetaXBXXEXXX t :: (* -> (* -> *) -> * -> * -> * -> *)
typeIDXBXXEXXX :: (MetaXBXXEXXX t) => TypeXBXXEXXX t -> TypeID
class MetaBXXEBBBXXEXEXE t :: ((* -> *) -> (((* -> *) -> *) -> *) -> *)
typeIDBXXEBBBXXEXEXE :: (MetaBXXEBBBXXEXEXE t) => TypeBXXEBBBXXEXEXE t -> TypeID
class MetaBXXEBBXXXEXE t :: ((* -> *) -> ((* -> * -> *) -> *) -> *)
typeIDBXXEBBXXXEXE :: (MetaBXXEBBXXXEXE t) => TypeBXXEBBXXXEXE t -> TypeID
class MetaBXXEBXBXXEXE t :: ((* -> *) -> (* -> (* -> *) -> *) -> *)
typeIDBXXEBXBXXEXE :: (MetaBXXEBXBXXEXE t) => TypeBXXEBXBXXEXE t -> TypeID
class MetaBXXEBBXXEXXE t :: ((* -> *) -> ((* -> *) -> * -> *) -> *)
typeIDBXXEBBXXEXXE :: (MetaBXXEBBXXEXXE t) => TypeBXXEBBXXEXXE t -> TypeID
class MetaBXXEBXXXXE t :: ((* -> *) -> (* -> * -> * -> *) -> *)
typeIDBXXEBXXXXE :: (MetaBXXEBXXXXE t) => TypeBXXEBXXXXE t -> TypeID
class MetaBXXEXBBXXEXE t :: ((* -> *) -> * -> ((* -> *) -> *) -> *)
typeIDBXXEXBBXXEXE :: (MetaBXXEXBBXXEXE t) => TypeBXXEXBBXXEXE t -> TypeID
class MetaBXXEXBXXXE t :: ((* -> *) -> * -> (* -> * -> *) -> *)
typeIDBXXEXBXXXE :: (MetaBXXEXBXXXE t) => TypeBXXEXBXXXE t -> TypeID
class MetaBXXEBBXXEXEX t :: ((* -> *) -> ((* -> *) -> *) -> * -> *)
typeIDBXXEBBXXEXEX :: (MetaBXXEBBXXEXEX t) => TypeBXXEBBXXEXEX t -> TypeID
class MetaBXXEBXXXEX t :: ((* -> *) -> (* -> * -> *) -> * -> *)
typeIDBXXEBXXXEX :: (MetaBXXEBXXXEX t) => TypeBXXEBXXXEX t -> TypeID
class MetaBXXEXXBXXE t :: ((* -> *) -> * -> * -> (* -> *) -> *)
typeIDBXXEXXBXXE :: (MetaBXXEXXBXXE t) => TypeBXXEXXBXXE t -> TypeID
class MetaBXXEXBXXEX t :: ((* -> *) -> * -> (* -> *) -> * -> *)
typeIDBXXEXBXXEX :: (MetaBXXEXBXXEX t) => TypeBXXEXBXXEX t -> TypeID
class MetaBXXEBXXEBXXE t :: ((* -> *) -> (* -> *) -> (* -> *) -> *)
typeIDBXXEBXXEBXXE :: (MetaBXXEBXXEBXXE t) => TypeBXXEBXXEBXXE t -> TypeID
class MetaBXXEBXXEXX t :: ((* -> *) -> (* -> *) -> * -> * -> *)
typeIDBXXEBXXEXX :: (MetaBXXEBXXEXX t) => TypeBXXEBXXEXX t -> TypeID
class MetaBXXEXXXX t :: ((* -> *) -> * -> * -> * -> * -> *)
typeIDBXXEXXXX :: (MetaBXXEXXXX t) => TypeBXXEXXXX t -> TypeID
class MetaXXXXXX t :: (* -> * -> * -> * -> * -> * -> *)
typeIDXXXXXX :: (MetaXXXXXX t) => TypeXXXXXX t -> TypeID
class MetaBBBBXXEXEXEXE t :: (((((* -> *) -> *) -> *) -> *) -> *)
typeIDBBBBXXEXEXEXE :: (MetaBBBBXXEXEXEXE t) => TypeBBBBXXEXEXEXE t -> TypeID
class MetaBBBXXXEXEXE t :: ((((* -> * -> *) -> *) -> *) -> *)
typeIDBBBXXXEXEXE :: (MetaBBBXXXEXEXE t) => TypeBBBXXXEXEXE t -> TypeID
class MetaBBXBXXEXEXE t :: (((* -> (* -> *) -> *) -> *) -> *)
typeIDBBXBXXEXEXE :: (MetaBBXBXXEXEXE t) => TypeBBXBXXEXEXE t -> TypeID
class MetaBBBXXEXXEXE t :: ((((* -> *) -> * -> *) -> *) -> *)
typeIDBBBXXEXXEXE :: (MetaBBBXXEXXEXE t) => TypeBBBXXEXXEXE t -> TypeID
class MetaBBXXXXEXE t :: (((* -> * -> * -> *) -> *) -> *)
typeIDBBXXXXEXE :: (MetaBBXXXXEXE t) => TypeBBXXXXEXE t -> TypeID
class MetaBXBBXXEXEXE t :: ((* -> ((* -> *) -> *) -> *) -> *)
typeIDBXBBXXEXEXE :: (MetaBXBBXXEXEXE t) => TypeBXBBXXEXEXE t -> TypeID
class MetaBXBXXXEXE t :: ((* -> (* -> * -> *) -> *) -> *)
typeIDBXBXXXEXE :: (MetaBXBXXXEXE t) => TypeBXBXXXEXE t -> TypeID
class MetaBBBXXEXEXXE t :: ((((* -> *) -> *) -> * -> *) -> *)
typeIDBBBXXEXEXXE :: (MetaBBBXXEXEXXE t) => TypeBBBXXEXEXXE t -> TypeID
class MetaBBXXXEXXE t :: (((* -> * -> *) -> * -> *) -> *)
typeIDBBXXXEXXE :: (MetaBBXXXEXXE t) => TypeBBXXXEXXE t -> TypeID
class MetaBXXBXXEXE t :: ((* -> * -> (* -> *) -> *) -> *)
typeIDBXXBXXEXE :: (MetaBXXBXXEXE t) => TypeBXXBXXEXE t -> TypeID
class MetaBXBXXEXXE t :: ((* -> (* -> *) -> * -> *) -> *)
typeIDBXBXXEXXE :: (MetaBXBXXEXXE t) => TypeBXBXXEXXE t -> TypeID
class MetaBBXXEBXXEXE t :: (((* -> *) -> (* -> *) -> *) -> *)
typeIDBBXXEBXXEXE :: (MetaBBXXEBXXEXE t) => TypeBBXXEBXXEXE t -> TypeID
class MetaBBXXEXXXE t :: (((* -> *) -> * -> * -> *) -> *)
typeIDBBXXEXXXE :: (MetaBBXXEXXXE t) => TypeBBXXEXXXE t -> TypeID
class MetaBXXXXXE t :: ((* -> * -> * -> * -> *) -> *)
typeIDBXXXXXE :: (MetaBXXXXXE t) => TypeBXXXXXE t -> TypeID
class MetaXBBBXXEXEXE t :: (* -> (((* -> *) -> *) -> *) -> *)
typeIDXBBBXXEXEXE :: (MetaXBBBXXEXEXE t) => TypeXBBBXXEXEXE t -> TypeID
class MetaXBBXXXEXE t :: (* -> ((* -> * -> *) -> *) -> *)
typeIDXBBXXXEXE :: (MetaXBBXXXEXE t) => TypeXBBXXXEXE t -> TypeID
class MetaXBXBXXEXE t :: (* -> (* -> (* -> *) -> *) -> *)
typeIDXBXBXXEXE :: (MetaXBXBXXEXE t) => TypeXBXBXXEXE t -> TypeID
class MetaXBBXXEXXE t :: (* -> ((* -> *) -> * -> *) -> *)
typeIDXBBXXEXXE :: (MetaXBBXXEXXE t) => TypeXBBXXEXXE t -> TypeID
class MetaXBXXXXE t :: (* -> (* -> * -> * -> *) -> *)
typeIDXBXXXXE :: (MetaXBXXXXE t) => TypeXBXXXXE t -> TypeID
class MetaBBBXXEXEXEX t :: ((((* -> *) -> *) -> *) -> * -> *)
typeIDBBBXXEXEXEX :: (MetaBBBXXEXEXEX t) => TypeBBBXXEXEXEX t -> TypeID
class MetaBBXXXEXEX t :: (((* -> * -> *) -> *) -> * -> *)
typeIDBBXXXEXEX :: (MetaBBXXXEXEX t) => TypeBBXXXEXEX t -> TypeID
class MetaBXBXXEXEX t :: ((* -> (* -> *) -> *) -> * -> *)
typeIDBXBXXEXEX :: (MetaBXBXXEXEX t) => TypeBXBXXEXEX t -> TypeID
class MetaBBXXEXXEX t :: (((* -> *) -> * -> *) -> * -> *)
typeIDBBXXEXXEX :: (MetaBBXXEXXEX t) => TypeBBXXEXXEX t -> TypeID
class MetaBXXXXEX t :: ((* -> * -> * -> *) -> * -> *)
typeIDBXXXXEX :: (MetaBXXXXEX t) => TypeBXXXXEX t -> TypeID
class MetaXXBBXXEXE t :: (* -> * -> ((* -> *) -> *) -> *)
typeIDXXBBXXEXE :: (MetaXXBBXXEXE t) => TypeXXBBXXEXE t -> TypeID
class MetaXXBXXXE t :: (* -> * -> (* -> * -> *) -> *)
typeIDXXBXXXE :: (MetaXXBXXXE t) => TypeXXBXXXE t -> TypeID
class MetaXBBXXEXEX t :: (* -> ((* -> *) -> *) -> * -> *)
typeIDXBBXXEXEX :: (MetaXBBXXEXEX t) => TypeXBBXXEXEX t -> TypeID
class MetaXBXXXEX t :: (* -> (* -> * -> *) -> * -> *)
typeIDXBXXXEX :: (MetaXBXXXEX t) => TypeXBXXXEX t -> TypeID
class MetaBBXXEXEBXXE t :: (((* -> *) -> *) -> (* -> *) -> *)
typeIDBBXXEXEBXXE :: (MetaBBXXEXEBXXE t) => TypeBBXXEXEBXXE t -> TypeID
class MetaBBXXEXEXX t :: (((* -> *) -> *) -> * -> * -> *)
typeIDBBXXEXEXX :: (MetaBBXXEXEXX t) => TypeBBXXEXEXX t -> TypeID
class MetaBXXXEBXXE t :: ((* -> * -> *) -> (* -> *) -> *)
typeIDBXXXEBXXE :: (MetaBXXXEBXXE t) => TypeBXXXEBXXE t -> TypeID
class MetaBXXXEXX t :: ((* -> * -> *) -> * -> * -> *)
typeIDBXXXEXX :: (MetaBXXXEXX t) => TypeBXXXEXX t -> TypeID
class MetaXXXBXXE t :: (* -> * -> * -> (* -> *) -> *)
typeIDXXXBXXE :: (MetaXXXBXXE t) => TypeXXXBXXE t -> TypeID
class MetaXXBXXEX t :: (* -> * -> (* -> *) -> * -> *)
typeIDXXBXXEX :: (MetaXXBXXEX t) => TypeXXBXXEX t -> TypeID
class MetaXBXXEBXXE t :: (* -> (* -> *) -> (* -> *) -> *)
typeIDXBXXEBXXE :: (MetaXBXXEBXXE t) => TypeXBXXEBXXE t -> TypeID
class MetaXBXXEXX t :: (* -> (* -> *) -> * -> * -> *)
typeIDXBXXEXX :: (MetaXBXXEXX t) => TypeXBXXEXX t -> TypeID
class MetaBXXEBBXXEXE t :: ((* -> *) -> ((* -> *) -> *) -> *)
typeIDBXXEBBXXEXE :: (MetaBXXEBBXXEXE t) => TypeBXXEBBXXEXE t -> TypeID
class MetaBXXEBXXXE t :: ((* -> *) -> (* -> * -> *) -> *)
typeIDBXXEBXXXE :: (MetaBXXEBXXXE t) => TypeBXXEBXXXE t -> TypeID
class MetaBXXEXBXXE t :: ((* -> *) -> * -> (* -> *) -> *)
typeIDBXXEXBXXE :: (MetaBXXEXBXXE t) => TypeBXXEXBXXE t -> TypeID
class MetaBXXEBXXEX t :: ((* -> *) -> (* -> *) -> * -> *)
typeIDBXXEBXXEX :: (MetaBXXEBXXEX t) => TypeBXXEBXXEX t -> TypeID
class MetaBXXEXXX t :: ((* -> *) -> * -> * -> * -> *)
typeIDBXXEXXX :: (MetaBXXEXXX t) => TypeBXXEXXX t -> TypeID
class MetaXXXXX t :: (* -> * -> * -> * -> * -> *)
typeIDXXXXX :: (MetaXXXXX t) => TypeXXXXX t -> TypeID
class MetaBBBXXEXEXE t :: ((((* -> *) -> *) -> *) -> *)
typeIDBBBXXEXEXE :: (MetaBBBXXEXEXE t) => TypeBBBXXEXEXE t -> TypeID
class MetaBBXXXEXE t :: (((* -> * -> *) -> *) -> *)
typeIDBBXXXEXE :: (MetaBBXXXEXE t) => TypeBBXXXEXE t -> TypeID
class MetaBXBXXEXE t :: ((* -> (* -> *) -> *) -> *)
typeIDBXBXXEXE :: (MetaBXBXXEXE t) => TypeBXBXXEXE t -> TypeID
class MetaBBXXEXXE t :: (((* -> *) -> * -> *) -> *)
typeIDBBXXEXXE :: (MetaBBXXEXXE t) => TypeBBXXEXXE t -> TypeID
class MetaBXXXXE t :: ((* -> * -> * -> *) -> *)
typeIDBXXXXE :: (MetaBXXXXE t) => TypeBXXXXE t -> TypeID
class MetaXBBXXEXE t :: (* -> ((* -> *) -> *) -> *)
typeIDXBBXXEXE :: (MetaXBBXXEXE t) => TypeXBBXXEXE t -> TypeID
class MetaXBXXXE t :: (* -> (* -> * -> *) -> *)
typeIDXBXXXE :: (MetaXBXXXE t) => TypeXBXXXE t -> TypeID
class MetaBBXXEXEX t :: (((* -> *) -> *) -> * -> *)
typeIDBBXXEXEX :: (MetaBBXXEXEX t) => TypeBBXXEXEX t -> TypeID
class MetaBXXXEX t :: ((* -> * -> *) -> * -> *)
typeIDBXXXEX :: (MetaBXXXEX t) => TypeBXXXEX t -> TypeID
class MetaXXBXXE t :: (* -> * -> (* -> *) -> *)
typeIDXXBXXE :: (MetaXXBXXE t) => TypeXXBXXE t -> TypeID
class MetaXBXXEX t :: (* -> (* -> *) -> * -> *)
typeIDXBXXEX :: (MetaXBXXEX t) => TypeXBXXEX t -> TypeID
class MetaBXXEBXXE t :: ((* -> *) -> (* -> *) -> *)
typeIDBXXEBXXE :: (MetaBXXEBXXE t) => TypeBXXEBXXE t -> TypeID
class MetaBXXEXX t :: ((* -> *) -> * -> * -> *)
typeIDBXXEXX :: (MetaBXXEXX t) => TypeBXXEXX t -> TypeID
class MetaXXXX t :: (* -> * -> * -> * -> *)
typeIDXXXX :: (MetaXXXX t) => TypeXXXX t -> TypeID
class MetaBBXXEXE t :: (((* -> *) -> *) -> *)
typeIDBBXXEXE :: (MetaBBXXEXE t) => TypeBBXXEXE t -> TypeID
class MetaBXXXE t :: ((* -> * -> *) -> *)
typeIDBXXXE :: (MetaBXXXE t) => TypeBXXXE t -> TypeID
class MetaXBXXE t :: (* -> (* -> *) -> *)
typeIDXBXXE :: (MetaXBXXE t) => TypeXBXXE t -> TypeID
class MetaBXXEX t :: ((* -> *) -> * -> *)
typeIDBXXEX :: (MetaBXXEX t) => TypeBXXEX t -> TypeID
class MetaXXX t :: (* -> * -> * -> *)
typeIDXXX :: (MetaXXX t) => TypeXXX t -> TypeID
class MetaBXXE t :: ((* -> *) -> *)
typeIDBXXE :: (MetaBXXE t) => TypeBXXE t -> TypeID
class MetaXX t :: (* -> * -> *)
typeIDXX :: (MetaXX t) => TypeXX t -> TypeID
class MetaX t :: (* -> *)
typeIDX :: (MetaX t) => TypeX t -> TypeID
class Meta t
typeID :: (Meta t) => Type t -> TypeID