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


-- | Colorless
--   
--   Colorless
@package colorless
@version 2.2.13

module Colorless.Types
data Version
Version :: Major -> Minor -> Version
newtype Major
Major :: Int -> Major
newtype Minor
Minor :: Int -> Minor
data Pull
Pull :: Text -> Text -> Text -> Int -> Pull
pullAddress :: Pull -> Text
data RuntimeError
RuntimeError'UnparsableFormat :: RuntimeError
RuntimeError'UnrecognizedCall :: RuntimeError
RuntimeError'VariableLimit :: RuntimeError
RuntimeError'UnknownVariable :: Text -> RuntimeError
RuntimeError'IncompatibleType :: RuntimeError
RuntimeError'TooFewArguments :: RuntimeError
RuntimeError'TooManyArguments :: RuntimeError
RuntimeError'NoApiVersion :: RuntimeError
RuntimeError'NoColorlessVersion :: RuntimeError
RuntimeError'ApiMajorVersionTooLow :: RuntimeError
RuntimeError'ApiMajorVersionTooHigh :: RuntimeError
RuntimeError'ApiMinorVersionTooHigh :: RuntimeError
RuntimeError'ColorlessMajorVersionTooLow :: RuntimeError
RuntimeError'ColorlessMajorVersionTooHigh :: RuntimeError
RuntimeError'ColorlessMinorVersionTooHigh :: RuntimeError
RuntimeError'UnparsableMeta :: RuntimeError
RuntimeError'UnparsableQuery :: RuntimeError
RuntimeError'NoImplementation :: RuntimeError
RuntimeError'NotMember :: RuntimeError
data Options
Options :: Maybe Int -> Options
defOptions :: Options
newtype Symbol
Symbol :: Text -> Symbol
data Type
Type :: TypeName -> [Type] -> Type
newtype TypeName
TypeName :: Text -> TypeName
newtype EnumeralName
EnumeralName :: Text -> EnumeralName
newtype MemberName
MemberName :: Text -> MemberName
data Const
Const'Null :: Const
Const'Bool :: Bool -> Const
Const'String :: Text -> Const
Const'Number :: Scientific -> Const
class HasType a
getType :: HasType a => Proxy a -> Type
instance GHC.Classes.Eq Colorless.Types.Const
instance GHC.Show.Show Colorless.Types.Const
instance Data.String.IsString Colorless.Types.MemberName
instance Data.Aeson.Types.FromJSON.FromJSONKey Colorless.Types.MemberName
instance Data.Aeson.Types.ToJSON.ToJSONKey Colorless.Types.MemberName
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.MemberName
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.MemberName
instance GHC.Classes.Ord Colorless.Types.MemberName
instance GHC.Classes.Eq Colorless.Types.MemberName
instance GHC.Show.Show Colorless.Types.MemberName
instance Data.String.IsString Colorless.Types.EnumeralName
instance Data.Aeson.Types.FromJSON.FromJSONKey Colorless.Types.EnumeralName
instance Data.Aeson.Types.ToJSON.ToJSONKey Colorless.Types.EnumeralName
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.EnumeralName
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.EnumeralName
instance GHC.Classes.Ord Colorless.Types.EnumeralName
instance GHC.Classes.Eq Colorless.Types.EnumeralName
instance GHC.Show.Show Colorless.Types.EnumeralName
instance GHC.Classes.Eq Colorless.Types.Type
instance GHC.Show.Show Colorless.Types.Type
instance Data.String.IsString Colorless.Types.TypeName
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.TypeName
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.TypeName
instance GHC.Classes.Ord Colorless.Types.TypeName
instance GHC.Classes.Eq Colorless.Types.TypeName
instance GHC.Show.Show Colorless.Types.TypeName
instance Data.String.IsString Colorless.Types.Symbol
instance Data.Aeson.Types.FromJSON.FromJSONKey Colorless.Types.Symbol
instance Data.Aeson.Types.ToJSON.ToJSONKey Colorless.Types.Symbol
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Symbol
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Symbol
instance GHC.Classes.Ord Colorless.Types.Symbol
instance GHC.Classes.Eq Colorless.Types.Symbol
instance GHC.Show.Show Colorless.Types.Symbol
instance GHC.Classes.Eq Colorless.Types.Options
instance GHC.Show.Show Colorless.Types.Options
instance GHC.Classes.Eq Colorless.Types.RuntimeError
instance GHC.Show.Show Colorless.Types.RuntimeError
instance GHC.Generics.Generic Colorless.Types.Version
instance GHC.Classes.Eq Colorless.Types.Version
instance GHC.Show.Show Colorless.Types.Version
instance GHC.Classes.Eq Colorless.Types.Pull
instance GHC.Show.Show Colorless.Types.Pull
instance GHC.Enum.Enum Colorless.Types.Minor
instance GHC.Real.Integral Colorless.Types.Minor
instance GHC.Real.Real Colorless.Types.Minor
instance GHC.Classes.Ord Colorless.Types.Minor
instance GHC.Num.Num Colorless.Types.Minor
instance GHC.Generics.Generic Colorless.Types.Minor
instance GHC.Classes.Eq Colorless.Types.Minor
instance GHC.Show.Show Colorless.Types.Minor
instance GHC.Enum.Enum Colorless.Types.Major
instance GHC.Real.Integral Colorless.Types.Major
instance GHC.Real.Real Colorless.Types.Major
instance GHC.Classes.Ord Colorless.Types.Major
instance GHC.Num.Num Colorless.Types.Major
instance GHC.Generics.Generic Colorless.Types.Major
instance GHC.Classes.Eq Colorless.Types.Major
instance GHC.Show.Show Colorless.Types.Major
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Major
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Major
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Minor
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Minor
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Version
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Version
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.RuntimeError
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.RuntimeError
instance Data.String.IsString Colorless.Types.Type
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Type
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Type
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Types.Const
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Types.Const
instance Colorless.Types.HasType ()
instance Colorless.Types.HasType GHC.Types.Bool
instance Colorless.Types.HasType Data.Text.Internal.Text
instance Colorless.Types.HasType GHC.Int.Int8
instance Colorless.Types.HasType GHC.Int.Int16
instance Colorless.Types.HasType GHC.Int.Int32
instance Colorless.Types.HasType GHC.Int.Int64
instance Colorless.Types.HasType GHC.Word.Word8
instance Colorless.Types.HasType GHC.Word.Word16
instance Colorless.Types.HasType GHC.Word.Word32
instance Colorless.Types.HasType GHC.Word.Word64
instance Colorless.Types.HasType GHC.Types.Float
instance Colorless.Types.HasType GHC.Types.Double
instance Colorless.Types.HasType a => Colorless.Types.HasType (GHC.Base.Maybe a)
instance Colorless.Types.HasType a => Colorless.Types.HasType [a]
instance (Colorless.Types.HasType e, Colorless.Types.HasType a) => Colorless.Types.HasType (Data.Either.Either e a)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2) => Colorless.Types.HasType (t1, t2)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3) => Colorless.Types.HasType (t1, t2, t3)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4) => Colorless.Types.HasType (t1, t2, t3, t4)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5) => Colorless.Types.HasType (t1, t2, t3, t4, t5)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27, Colorless.Types.HasType t28) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27, Colorless.Types.HasType t28, Colorless.Types.HasType t29) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27, Colorless.Types.HasType t28, Colorless.Types.HasType t29, Colorless.Types.HasType t30) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27, Colorless.Types.HasType t28, Colorless.Types.HasType t29, Colorless.Types.HasType t30, Colorless.Types.HasType t31) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
instance (Colorless.Types.HasType t1, Colorless.Types.HasType t2, Colorless.Types.HasType t3, Colorless.Types.HasType t4, Colorless.Types.HasType t5, Colorless.Types.HasType t6, Colorless.Types.HasType t7, Colorless.Types.HasType t8, Colorless.Types.HasType t9, Colorless.Types.HasType t10, Colorless.Types.HasType t11, Colorless.Types.HasType t12, Colorless.Types.HasType t13, Colorless.Types.HasType t14, Colorless.Types.HasType t15, Colorless.Types.HasType t16, Colorless.Types.HasType t17, Colorless.Types.HasType t18, Colorless.Types.HasType t19, Colorless.Types.HasType t20, Colorless.Types.HasType t21, Colorless.Types.HasType t22, Colorless.Types.HasType t23, Colorless.Types.HasType t24, Colorless.Types.HasType t25, Colorless.Types.HasType t26, Colorless.Types.HasType t27, Colorless.Types.HasType t28, Colorless.Types.HasType t29, Colorless.Types.HasType t30, Colorless.Types.HasType t31, Colorless.Types.HasType t32) => Colorless.Types.HasType (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)

module Colorless.Server.Exchange
data Request
Request :: Value -> Value -> Request
data Response
Response'Error :: ResponseError -> Response
Response'Success :: Value -> Response
data ResponseError
ResponseError'Service :: Value -> ResponseError
ResponseError'Runtime :: RuntimeError -> ResponseError
instance GHC.Classes.Eq Colorless.Server.Exchange.Response
instance GHC.Show.Show Colorless.Server.Exchange.Response
instance GHC.Show.Show Colorless.Server.Exchange.ResponseError
instance GHC.Classes.Eq Colorless.Server.Exchange.ResponseError
instance GHC.Classes.Eq Colorless.Server.Exchange.Request
instance GHC.Show.Show Colorless.Server.Exchange.Request
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Server.Exchange.Request
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Server.Exchange.Request
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Server.Exchange.ResponseError
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Server.Exchange.Response

module Colorless.ServiceThrower
class Monad m => ServiceThrower m
serviceThrow :: ServiceThrower m => Value -> m a
instance Colorless.ServiceThrower.ServiceThrower GHC.Types.IO
instance GHC.Base.Monad m => Colorless.ServiceThrower.ServiceThrower (Control.Monad.Trans.Except.ExceptT Colorless.Server.Exchange.Response m)

module Colorless.RuntimeThrower
class Monad m => RuntimeThrower m
runtimeThrow :: RuntimeThrower m => RuntimeError -> m a
instance Colorless.RuntimeThrower.RuntimeThrower GHC.Types.IO
instance GHC.Base.Monad m => Colorless.RuntimeThrower.RuntimeThrower (Control.Monad.Trans.Except.ExceptT Colorless.Server.Exchange.Response m)

module Colorless.Prim
data Prim
Prim'Bool :: Bool -> Prim
Prim'I8 :: Int8 -> Prim
Prim'I16 :: Int16 -> Prim
Prim'I32 :: Int32 -> Prim
Prim'I64 :: Int64 -> Prim
Prim'U8 :: Word8 -> Prim
Prim'U16 :: Word16 -> Prim
Prim'U32 :: Word32 -> Prim
Prim'U64 :: Word64 -> Prim
Prim'String :: Text -> Prim
instance GHC.Classes.Eq Colorless.Prim.Prim
instance GHC.Show.Show Colorless.Prim.Prim
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Prim.Prim

module Colorless.Val
data Val
Val'Const :: Const -> Val
Val'Prim :: Prim -> Val
Val'ApiVal :: ApiVal -> Val
Val'List :: [Val] -> Val
data ApiVal
ApiVal'Struct :: Struct -> ApiVal
ApiVal'Enumeral :: Enumeral -> ApiVal
data Wrap
Wrap :: Const -> Wrap
data Struct
Struct :: Map MemberName Val -> Struct
data Enumeral
Enumeral :: EnumeralName -> Maybe (Map MemberName Val) -> Enumeral
class FromVal a
fromVal :: FromVal a => Val -> Maybe a
class ToVal a
toVal :: ToVal a => a -> Val
getMember :: FromVal a => Map MemberName Val -> MemberName -> Maybe a
fromValFromJson :: (FromVal b) => Value -> Maybe b
combineObjects :: Value -> Value -> Value
instance GHC.Generics.Generic Colorless.Val.Struct
instance GHC.Classes.Eq Colorless.Val.Struct
instance GHC.Show.Show Colorless.Val.Struct
instance GHC.Classes.Eq Colorless.Val.ApiVal
instance GHC.Show.Show Colorless.Val.ApiVal
instance GHC.Classes.Eq Colorless.Val.Val
instance GHC.Show.Show Colorless.Val.Val
instance GHC.Generics.Generic Colorless.Val.Enumeral
instance GHC.Classes.Eq Colorless.Val.Enumeral
instance GHC.Show.Show Colorless.Val.Enumeral
instance GHC.Classes.Eq Colorless.Val.Wrap
instance GHC.Show.Show Colorless.Val.Wrap
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Val.Val
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Val.Val
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Val.ApiVal
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Val.ApiVal
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Val.Struct
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Val.Struct
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Val.Enumeral
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Val.Enumeral
instance Colorless.Val.ToVal ()
instance Colorless.Val.ToVal GHC.Types.Bool
instance Colorless.Val.ToVal Data.Text.Internal.Text
instance Colorless.Val.ToVal GHC.Types.Int
instance Colorless.Val.ToVal GHC.Int.Int8
instance Colorless.Val.ToVal GHC.Int.Int16
instance Colorless.Val.ToVal GHC.Int.Int32
instance Colorless.Val.ToVal GHC.Int.Int64
instance Colorless.Val.ToVal GHC.Types.Word
instance Colorless.Val.ToVal GHC.Word.Word8
instance Colorless.Val.ToVal GHC.Word.Word16
instance Colorless.Val.ToVal GHC.Word.Word32
instance Colorless.Val.ToVal GHC.Word.Word64
instance Colorless.Val.ToVal GHC.Types.Float
instance Colorless.Val.ToVal GHC.Types.Double
instance Colorless.Val.ToVal a => Colorless.Val.ToVal (GHC.Base.Maybe a)
instance (Colorless.Val.ToVal a, Colorless.Val.ToVal b) => Colorless.Val.ToVal (Data.Either.Either a b)
instance Colorless.Val.ToVal a => Colorless.Val.ToVal [a]
instance Colorless.Val.FromVal ()
instance Colorless.Val.FromVal GHC.Types.Bool
instance Colorless.Val.FromVal Data.Text.Internal.Text
instance Colorless.Val.FromVal GHC.Types.Int
instance Colorless.Val.FromVal GHC.Int.Int8
instance Colorless.Val.FromVal GHC.Int.Int16
instance Colorless.Val.FromVal GHC.Int.Int32
instance Colorless.Val.FromVal GHC.Int.Int64
instance Colorless.Val.FromVal GHC.Types.Word
instance Colorless.Val.FromVal GHC.Word.Word8
instance Colorless.Val.FromVal GHC.Word.Word16
instance Colorless.Val.FromVal GHC.Word.Word32
instance Colorless.Val.FromVal GHC.Word.Word64
instance Colorless.Val.FromVal GHC.Types.Float
instance Colorless.Val.FromVal GHC.Types.Double
instance Colorless.Val.FromVal a => Colorless.Val.FromVal (GHC.Base.Maybe a)
instance (Colorless.Val.FromVal a, Colorless.Val.FromVal b) => Colorless.Val.FromVal (Data.Either.Either a b)
instance Colorless.Val.FromVal a => Colorless.Val.FromVal [a]

module Colorless.Imports

module Colorless.Endpoint
runColorless :: MonadIO m => Map Major (Minor, Request -> m (Either Response Response)) -> Value -> m Value
runColorlessSingleton :: MonadIO m => Version -> (Request -> m (Either Response Response)) -> Value -> m Value

module Colorless.Ast
data Ast
Ast'Ref :: Ref -> Ast
Ast'If :: If -> Ast
Ast'Get :: Get -> Ast
Ast'Define :: Define -> Ast
Ast'Lambda :: Lambda -> Ast
Ast'List :: List -> Ast
Ast'Tuple :: Tuple -> Ast
Ast'Do :: Do -> Ast
Ast'FnCall :: FnCall -> Ast
Ast'WrapCall :: WrapCall -> Ast
Ast'StructCall :: StructCall -> Ast
Ast'EnumerationCall :: EnumerationCall -> Ast
Ast'HollowCall :: HollowCall -> Ast
Ast'Enumeral :: Enumeral -> Ast
Ast'Struct :: Struct -> Ast
Ast'Wrap :: Wrap -> Ast
Ast'Const :: Const -> Ast
class ToAst a
toAst :: ToAst a => a -> Ast
data Ref
Ref :: Symbol -> Ref
data If
If :: Ast -> Ast -> Ast -> If
data Get
Get :: [Text] -> Ast -> Get
data Define
Define :: Symbol -> Ast -> Define
data Lambda
Lambda :: [(Symbol, Type)] -> Ast -> Lambda
data List
List :: [Ast] -> List
data Tuple
Tuple :: [Ast] -> Tuple
data Do
Do :: [Ast] -> Do
data FnCall
FnCall :: Ast -> [Ast] -> FnCall
data Enumeral
Enumeral :: EnumeralName -> Maybe (Map MemberName Ast) -> Enumeral
data Struct
Struct :: Map MemberName Ast -> Struct
data Wrap
Wrap :: Ast -> Wrap
data StructCall
StructCall :: TypeName -> Ast -> StructCall
data WrapCall
WrapCall :: TypeName -> Ast -> WrapCall
data EnumerationCall
EnumerationCall :: TypeName -> Ast -> EnumerationCall
data HollowCall
HollowCall :: TypeName -> HollowCall
data Const
Const'Null :: Const
Const'Bool :: Bool -> Const
Const'String :: Text -> Const
Const'Number :: Scientific -> Const
instance GHC.Classes.Eq Colorless.Ast.If
instance GHC.Show.Show Colorless.Ast.If
instance GHC.Classes.Eq Colorless.Ast.Get
instance GHC.Show.Show Colorless.Ast.Get
instance GHC.Classes.Eq Colorless.Ast.Define
instance GHC.Show.Show Colorless.Ast.Define
instance GHC.Classes.Eq Colorless.Ast.Lambda
instance GHC.Show.Show Colorless.Ast.Lambda
instance GHC.Classes.Eq Colorless.Ast.List
instance GHC.Show.Show Colorless.Ast.List
instance GHC.Classes.Eq Colorless.Ast.Tuple
instance GHC.Show.Show Colorless.Ast.Tuple
instance GHC.Classes.Eq Colorless.Ast.Do
instance GHC.Show.Show Colorless.Ast.Do
instance GHC.Classes.Eq Colorless.Ast.FnCall
instance GHC.Show.Show Colorless.Ast.FnCall
instance GHC.Generics.Generic Colorless.Ast.EnumerationCall
instance GHC.Classes.Eq Colorless.Ast.EnumerationCall
instance GHC.Show.Show Colorless.Ast.EnumerationCall
instance GHC.Generics.Generic Colorless.Ast.WrapCall
instance GHC.Classes.Eq Colorless.Ast.WrapCall
instance GHC.Show.Show Colorless.Ast.WrapCall
instance GHC.Generics.Generic Colorless.Ast.StructCall
instance GHC.Classes.Eq Colorless.Ast.StructCall
instance GHC.Show.Show Colorless.Ast.StructCall
instance GHC.Generics.Generic Colorless.Ast.Enumeral
instance GHC.Classes.Eq Colorless.Ast.Enumeral
instance GHC.Show.Show Colorless.Ast.Enumeral
instance GHC.Generics.Generic Colorless.Ast.Struct
instance GHC.Classes.Eq Colorless.Ast.Struct
instance GHC.Show.Show Colorless.Ast.Struct
instance GHC.Classes.Eq Colorless.Ast.Ast
instance GHC.Show.Show Colorless.Ast.Ast
instance GHC.Generics.Generic Colorless.Ast.Wrap
instance GHC.Classes.Eq Colorless.Ast.Wrap
instance GHC.Show.Show Colorless.Ast.Wrap
instance GHC.Generics.Generic Colorless.Ast.HollowCall
instance GHC.Classes.Eq Colorless.Ast.HollowCall
instance GHC.Show.Show Colorless.Ast.HollowCall
instance GHC.Classes.Eq Colorless.Ast.Ref
instance GHC.Show.Show Colorless.Ast.Ref
instance Colorless.Ast.ToAst ()
instance Colorless.Ast.ToAst GHC.Types.Bool
instance Colorless.Ast.ToAst Data.Text.Internal.Text
instance Colorless.Ast.ToAst GHC.Int.Int8
instance Colorless.Ast.ToAst GHC.Int.Int16
instance Colorless.Ast.ToAst GHC.Int.Int32
instance Colorless.Ast.ToAst GHC.Int.Int64
instance Colorless.Ast.ToAst GHC.Word.Word8
instance Colorless.Ast.ToAst GHC.Word.Word16
instance Colorless.Ast.ToAst GHC.Word.Word32
instance Colorless.Ast.ToAst GHC.Word.Word64
instance Colorless.Ast.ToAst GHC.Types.Float
instance Colorless.Ast.ToAst GHC.Types.Double
instance Colorless.Ast.ToAst a => Colorless.Ast.ToAst [a]
instance Colorless.Ast.ToAst a => Colorless.Ast.ToAst (GHC.Base.Maybe a)
instance (Colorless.Ast.ToAst a, Colorless.Ast.ToAst b) => Colorless.Ast.ToAst (Data.Either.Either a b)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2) => Colorless.Ast.ToAst (t1, t2)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3) => Colorless.Ast.ToAst (t1, t2, t3)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4) => Colorless.Ast.ToAst (t1, t2, t3, t4)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27, Colorless.Ast.ToAst t28) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27, Colorless.Ast.ToAst t28, Colorless.Ast.ToAst t29) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27, Colorless.Ast.ToAst t28, Colorless.Ast.ToAst t29, Colorless.Ast.ToAst t30) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27, Colorless.Ast.ToAst t28, Colorless.Ast.ToAst t29, Colorless.Ast.ToAst t30, Colorless.Ast.ToAst t31) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
instance (Colorless.Ast.ToAst t1, Colorless.Ast.ToAst t2, Colorless.Ast.ToAst t3, Colorless.Ast.ToAst t4, Colorless.Ast.ToAst t5, Colorless.Ast.ToAst t6, Colorless.Ast.ToAst t7, Colorless.Ast.ToAst t8, Colorless.Ast.ToAst t9, Colorless.Ast.ToAst t10, Colorless.Ast.ToAst t11, Colorless.Ast.ToAst t12, Colorless.Ast.ToAst t13, Colorless.Ast.ToAst t14, Colorless.Ast.ToAst t15, Colorless.Ast.ToAst t16, Colorless.Ast.ToAst t17, Colorless.Ast.ToAst t18, Colorless.Ast.ToAst t19, Colorless.Ast.ToAst t20, Colorless.Ast.ToAst t21, Colorless.Ast.ToAst t22, Colorless.Ast.ToAst t23, Colorless.Ast.ToAst t24, Colorless.Ast.ToAst t25, Colorless.Ast.ToAst t26, Colorless.Ast.ToAst t27, Colorless.Ast.ToAst t28, Colorless.Ast.ToAst t29, Colorless.Ast.ToAst t30, Colorless.Ast.ToAst t31, Colorless.Ast.ToAst t32) => Colorless.Ast.ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Ast
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Ast
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Ref
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Ref
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.If
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.If
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Get
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Get
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Define
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Define
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Lambda
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Lambda
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.List
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.List
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Tuple
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Tuple
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Do
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Do
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.FnCall
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.FnCall
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.EnumerationCall
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.EnumerationCall
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.WrapCall
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.WrapCall
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.StructCall
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.StructCall
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.HollowCall
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.HollowCall
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Enumeral
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Enumeral
instance Data.Aeson.Types.FromJSON.FromJSON Colorless.Ast.Struct
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Struct
instance Data.Aeson.Types.ToJSON.ToJSON Colorless.Ast.Wrap

module Colorless.Client.Expr
data Expr a
data Stmt a
data Path f
data Fn a
class ToArgs a
class (HasType a, ToAst a) => ToExpr a where ex = Expr . toAst
ex :: ToExpr a => a -> Expr a
exprJSON :: (HasType a, ToAst a) => Expr a -> Value
stmt :: HasType a => Expr a -> Stmt (Expr a)
appendExpr :: Expr (a -> b) -> Expr a -> Expr b
(<:>) :: Expr (a -> b) -> Expr a -> Expr b
(<:) :: ToExpr a => Expr (a -> b) -> a -> Expr b
dO :: HasType a => Stmt (Expr a) -> Expr a
def :: HasType a => Symbol -> Expr a -> Stmt (Expr a)
defn :: Symbol -> Expr (Fn a) -> Stmt (Expr (Fn a))
defnRec :: Symbol -> (Expr (Fn a) -> Expr (Fn a)) -> Stmt (Expr (Fn a))
iF :: HasType a => Expr Bool -> Expr a -> Expr a -> Expr a
get :: (HasType a, HasType b) => Path (a -> b) -> Expr a -> Expr b
dot :: (HasType a, HasType b, HasType c) => Path (a -> b) -> Path (b -> c) -> Path (a -> c)
(<.>) :: (HasType a, HasType b, HasType c) => Path (a -> b) -> Path (b -> c) -> Path (a -> c)
eq :: (HasType a) => Expr a -> Expr a -> Expr Bool
neq :: (HasType a) => Expr a -> Expr a -> Expr Bool
add :: (Num a, HasType a) => Expr a -> Expr a -> Expr a
sub :: (Num a, HasType a) => Expr a -> Expr a -> Expr a
mul :: (Num a, HasType a) => Expr a -> Expr a -> Expr a
divide :: (Num a, HasType a) => Expr a -> Expr a -> Expr a
concaT :: Expr Text -> Expr Text -> Expr Text
unit :: Expr ()
bool :: Bool -> Expr Bool
string :: Text -> Expr Text
i8 :: Int8 -> Expr Int8
i16 :: Int16 -> Expr Int16
i32 :: Int32 -> Expr Int32
i64 :: Int64 -> Expr Int64
u8 :: Word8 -> Expr Word8
u16 :: Word16 -> Expr Word16
u32 :: Word32 -> Expr Word32
u64 :: Word64 -> Expr Word64
f32 :: Float -> Expr Float
f64 :: Double -> Expr Double
option :: (HasType a) => Maybe (Expr a) -> Expr (Maybe a)
list :: (HasType a) => [Expr a] -> Expr [a]
eitheR :: (HasType a, HasType b) => Either (Expr a) (Expr b) -> Expr (Either a b)
tuple2 :: (HasType t1, HasType t2) => Expr t1 -> Expr t2 -> Expr (t1, t2)
tuple3 :: (HasType t1, HasType t2, HasType t3) => Expr t1 -> Expr t2 -> Expr t3 -> Expr (t1, t2, t3)
tuple4 :: (HasType t1, HasType t2, HasType t3, HasType t4) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr (t1, t2, t3, t4)
tuple5 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr (t1, t2, t3, t4, t5)
tuple6 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr (t1, t2, t3, t4, t5, t6)
tuple7 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr (t1, t2, t3, t4, t5, t6, t7)
tuple8 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8)
tuple9 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9)
tuple10 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
tuple11 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
tuple12 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
tuple13 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
tuple14 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
tuple15 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
tuple16 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
tuple17 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
tuple18 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
tuple19 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
tuple20 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
tuple21 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
tuple22 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
tuple23 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
tuple24 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
tuple25 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
tuple26 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
tuple27 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
tuple28 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
tuple29 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
tuple30 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
tuple31 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr t31 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
tuple32 :: (HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31, HasType t32) => Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr t31 -> Expr t32 -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)
tuple2' :: (HasType t1, ToAst t1, HasType t2, ToAst t2) => (t1, t2) -> Expr (t1, t2)
tuple3' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3) => (t1, t2, t3) -> Expr (t1, t2, t3)
tuple4' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4) => (t1, t2, t3, t4) -> Expr (t1, t2, t3, t4)
tuple5' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5) => (t1, t2, t3, t4, t5) -> Expr (t1, t2, t3, t4, t5)
tuple6' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6) => (t1, t2, t3, t4, t5, t6) -> Expr (t1, t2, t3, t4, t5, t6)
tuple7' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7) => (t1, t2, t3, t4, t5, t6, t7) -> Expr (t1, t2, t3, t4, t5, t6, t7)
tuple8' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8) => (t1, t2, t3, t4, t5, t6, t7, t8) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8)
tuple9' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9) => (t1, t2, t3, t4, t5, t6, t7, t8, t9) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9)
tuple10' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
tuple11' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
tuple12' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
tuple13' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
tuple14' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
tuple15' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
tuple16' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
tuple17' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
tuple18' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
tuple19' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
tuple20' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
tuple21' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
tuple22' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
tuple23' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
tuple24' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
tuple25' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
tuple26' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
tuple27' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
tuple28' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27, HasType t28, ToAst t28) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
tuple29' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27, HasType t28, ToAst t28, HasType t29, ToAst t29) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
tuple30' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27, HasType t28, ToAst t28, HasType t29, ToAst t29, HasType t30, ToAst t30) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
tuple31' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27, HasType t28, ToAst t28, HasType t29, ToAst t29, HasType t30, ToAst t30, HasType t31, ToAst t31) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
tuple32' :: (HasType t1, ToAst t1, HasType t2, ToAst t2, HasType t3, ToAst t3, HasType t4, ToAst t4, HasType t5, ToAst t5, HasType t6, ToAst t6, HasType t7, ToAst t7, HasType t8, ToAst t8, HasType t9, ToAst t9, HasType t10, ToAst t10, HasType t11, ToAst t11, HasType t12, ToAst t12, HasType t13, ToAst t13, HasType t14, ToAst t14, HasType t15, ToAst t15, HasType t16, ToAst t16, HasType t17, ToAst t17, HasType t18, ToAst t18, HasType t19, ToAst t19, HasType t20, ToAst t20, HasType t21, ToAst t21, HasType t22, ToAst t22, HasType t23, ToAst t23, HasType t24, ToAst t24, HasType t25, ToAst t25, HasType t26, ToAst t26, HasType t27, ToAst t27, HasType t28, ToAst t28, HasType t29, ToAst t29, HasType t30, ToAst t30, HasType t31, ToAst t31, HasType t32, ToAst t32) => (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32) -> Expr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)
call :: ToArgs args => Expr (Fn (args -> a)) -> args -> Expr a
(-<) :: ToArgs args => Expr (Fn (args -> a)) -> args -> Expr a
fn0 :: (HasType a, ToAst a) => Expr a -> Expr (Fn (() -> a))
fn1 :: (HasType a, HasType t1) => Symbol -> (Expr t1 -> Expr a) -> Expr (Fn ((Expr t1) -> a))
fn2 :: (HasType a, HasType t1, HasType t2) => Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2) -> a))
fn3 :: (HasType a, HasType t1, HasType t2, HasType t3) => Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3) -> a))
fn4 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4) => Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4) -> a))
fn5 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5) -> a))
fn6 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6) -> a))
fn7 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7) -> a))
fn8 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8) -> a))
fn9 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9) -> a))
fn10 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10) -> a))
fn11 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11) -> a))
fn12 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12) -> a))
fn13 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13) -> a))
fn14 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14) -> a))
fn15 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15) -> a))
fn16 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16) -> a))
fn17 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17) -> a))
fn18 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18) -> a))
fn19 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19) -> a))
fn20 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20) -> a))
fn21 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21) -> a))
fn22 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22) -> a))
fn23 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23) -> a))
fn24 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24) -> a))
fn25 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25) -> a))
fn26 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26) -> a))
fn27 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27) -> a))
fn28 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27, Expr t28) -> a))
fn29 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27, Expr t28, Expr t29) -> a))
fn30 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27, Expr t28, Expr t29, Expr t30) -> a))
fn31 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr t31 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27, Expr t28, Expr t29, Expr t30, Expr t31) -> a))
fn32 :: (HasType a, HasType t1, HasType t2, HasType t3, HasType t4, HasType t5, HasType t6, HasType t7, HasType t8, HasType t9, HasType t10, HasType t11, HasType t12, HasType t13, HasType t14, HasType t15, HasType t16, HasType t17, HasType t18, HasType t19, HasType t20, HasType t21, HasType t22, HasType t23, HasType t24, HasType t25, HasType t26, HasType t27, HasType t28, HasType t29, HasType t30, HasType t31, HasType t32) => Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> (Expr t1 -> Expr t2 -> Expr t3 -> Expr t4 -> Expr t5 -> Expr t6 -> Expr t7 -> Expr t8 -> Expr t9 -> Expr t10 -> Expr t11 -> Expr t12 -> Expr t13 -> Expr t14 -> Expr t15 -> Expr t16 -> Expr t17 -> Expr t18 -> Expr t19 -> Expr t20 -> Expr t21 -> Expr t22 -> Expr t23 -> Expr t24 -> Expr t25 -> Expr t26 -> Expr t27 -> Expr t28 -> Expr t29 -> Expr t30 -> Expr t31 -> Expr t32 -> Expr a) -> Expr (Fn ((Expr t1, Expr t2, Expr t3, Expr t4, Expr t5, Expr t6, Expr t7, Expr t8, Expr t9, Expr t10, Expr t11, Expr t12, Expr t13, Expr t14, Expr t15, Expr t16, Expr t17, Expr t18, Expr t19, Expr t20, Expr t21, Expr t22, Expr t23, Expr t24, Expr t25, Expr t26, Expr t27, Expr t28, Expr t29, Expr t30, Expr t31, Expr t32) -> a))
unsafeExpr :: Ast -> Expr a
unsafeRef :: Symbol -> Expr a
unsafeWrapExpr :: Expr a
unsafeStructExpr :: [MemberName] -> Expr a
unsafeEnumeralExpr :: EnumeralName -> [MemberName] -> Expr a
unsafeStmt :: [Ast] -> a -> Stmt a
unsafePath :: (HasType a, HasType b) => [Text] -> Path (a -> b)
instance GHC.Classes.Eq (Colorless.Client.Expr.Path f)
instance GHC.Show.Show (Colorless.Client.Expr.Path f)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Colorless.Client.Expr.Stmt a)
instance GHC.Show.Show a => GHC.Show.Show (Colorless.Client.Expr.Stmt a)
instance Colorless.Types.HasType a => Colorless.Types.HasType (Colorless.Client.Expr.Expr a)
instance Colorless.Ast.ToAst (Colorless.Client.Expr.Expr a)
instance GHC.Base.Functor Colorless.Client.Expr.Stmt
instance GHC.Base.Applicative Colorless.Client.Expr.Stmt
instance GHC.Base.Monad Colorless.Client.Expr.Stmt
instance Colorless.Client.Expr.ToExpr ()
instance Colorless.Client.Expr.ToExpr GHC.Types.Bool
instance Colorless.Client.Expr.ToExpr Data.Text.Internal.Text
instance Colorless.Client.Expr.ToExpr GHC.Int.Int8
instance Colorless.Client.Expr.ToExpr GHC.Int.Int16
instance Colorless.Client.Expr.ToExpr GHC.Int.Int32
instance Colorless.Client.Expr.ToExpr GHC.Int.Int64
instance Colorless.Client.Expr.ToExpr GHC.Word.Word8
instance Colorless.Client.Expr.ToExpr GHC.Word.Word16
instance Colorless.Client.Expr.ToExpr GHC.Word.Word32
instance Colorless.Client.Expr.ToExpr GHC.Word.Word64
instance Colorless.Client.Expr.ToExpr GHC.Types.Float
instance Colorless.Client.Expr.ToExpr GHC.Types.Double
instance Colorless.Client.Expr.ToExpr a => Colorless.Client.Expr.ToExpr [a]
instance Colorless.Client.Expr.ToExpr a => Colorless.Client.Expr.ToExpr (GHC.Base.Maybe a)
instance (Colorless.Client.Expr.ToExpr a, Colorless.Client.Expr.ToExpr b) => Colorless.Client.Expr.ToExpr (Data.Either.Either a b)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2) => Colorless.Client.Expr.ToExpr (t1, t2)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3) => Colorless.Client.Expr.ToExpr (t1, t2, t3)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27, Colorless.Client.Expr.ToExpr t28) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27, Colorless.Client.Expr.ToExpr t28, Colorless.Client.Expr.ToExpr t29) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27, Colorless.Client.Expr.ToExpr t28, Colorless.Client.Expr.ToExpr t29, Colorless.Client.Expr.ToExpr t30) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27, Colorless.Client.Expr.ToExpr t28, Colorless.Client.Expr.ToExpr t29, Colorless.Client.Expr.ToExpr t30, Colorless.Client.Expr.ToExpr t31) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
instance (Colorless.Client.Expr.ToExpr t1, Colorless.Client.Expr.ToExpr t2, Colorless.Client.Expr.ToExpr t3, Colorless.Client.Expr.ToExpr t4, Colorless.Client.Expr.ToExpr t5, Colorless.Client.Expr.ToExpr t6, Colorless.Client.Expr.ToExpr t7, Colorless.Client.Expr.ToExpr t8, Colorless.Client.Expr.ToExpr t9, Colorless.Client.Expr.ToExpr t10, Colorless.Client.Expr.ToExpr t11, Colorless.Client.Expr.ToExpr t12, Colorless.Client.Expr.ToExpr t13, Colorless.Client.Expr.ToExpr t14, Colorless.Client.Expr.ToExpr t15, Colorless.Client.Expr.ToExpr t16, Colorless.Client.Expr.ToExpr t17, Colorless.Client.Expr.ToExpr t18, Colorless.Client.Expr.ToExpr t19, Colorless.Client.Expr.ToExpr t20, Colorless.Client.Expr.ToExpr t21, Colorless.Client.Expr.ToExpr t22, Colorless.Client.Expr.ToExpr t23, Colorless.Client.Expr.ToExpr t24, Colorless.Client.Expr.ToExpr t25, Colorless.Client.Expr.ToExpr t26, Colorless.Client.Expr.ToExpr t27, Colorless.Client.Expr.ToExpr t28, Colorless.Client.Expr.ToExpr t29, Colorless.Client.Expr.ToExpr t30, Colorless.Client.Expr.ToExpr t31, Colorless.Client.Expr.ToExpr t32) => Colorless.Client.Expr.ToExpr (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)
instance Colorless.Client.Expr.ToArgs ()
instance (Colorless.Ast.ToAst a, Colorless.Types.HasType a) => Colorless.Client.Expr.ToArgs (Colorless.Client.Expr.Expr a)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2) => Colorless.Client.Expr.ToArgs (t1, t2)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3) => Colorless.Client.Expr.ToArgs (t1, t2, t3)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27, Colorless.Types.HasType t28, Colorless.Ast.ToAst t28) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27, Colorless.Types.HasType t28, Colorless.Ast.ToAst t28, Colorless.Types.HasType t29, Colorless.Ast.ToAst t29) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27, Colorless.Types.HasType t28, Colorless.Ast.ToAst t28, Colorless.Types.HasType t29, Colorless.Ast.ToAst t29, Colorless.Types.HasType t30, Colorless.Ast.ToAst t30) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27, Colorless.Types.HasType t28, Colorless.Ast.ToAst t28, Colorless.Types.HasType t29, Colorless.Ast.ToAst t29, Colorless.Types.HasType t30, Colorless.Ast.ToAst t30, Colorless.Types.HasType t31, Colorless.Ast.ToAst t31) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
instance (Colorless.Types.HasType t1, Colorless.Ast.ToAst t1, Colorless.Types.HasType t2, Colorless.Ast.ToAst t2, Colorless.Types.HasType t3, Colorless.Ast.ToAst t3, Colorless.Types.HasType t4, Colorless.Ast.ToAst t4, Colorless.Types.HasType t5, Colorless.Ast.ToAst t5, Colorless.Types.HasType t6, Colorless.Ast.ToAst t6, Colorless.Types.HasType t7, Colorless.Ast.ToAst t7, Colorless.Types.HasType t8, Colorless.Ast.ToAst t8, Colorless.Types.HasType t9, Colorless.Ast.ToAst t9, Colorless.Types.HasType t10, Colorless.Ast.ToAst t10, Colorless.Types.HasType t11, Colorless.Ast.ToAst t11, Colorless.Types.HasType t12, Colorless.Ast.ToAst t12, Colorless.Types.HasType t13, Colorless.Ast.ToAst t13, Colorless.Types.HasType t14, Colorless.Ast.ToAst t14, Colorless.Types.HasType t15, Colorless.Ast.ToAst t15, Colorless.Types.HasType t16, Colorless.Ast.ToAst t16, Colorless.Types.HasType t17, Colorless.Ast.ToAst t17, Colorless.Types.HasType t18, Colorless.Ast.ToAst t18, Colorless.Types.HasType t19, Colorless.Ast.ToAst t19, Colorless.Types.HasType t20, Colorless.Ast.ToAst t20, Colorless.Types.HasType t21, Colorless.Ast.ToAst t21, Colorless.Types.HasType t22, Colorless.Ast.ToAst t22, Colorless.Types.HasType t23, Colorless.Ast.ToAst t23, Colorless.Types.HasType t24, Colorless.Ast.ToAst t24, Colorless.Types.HasType t25, Colorless.Ast.ToAst t25, Colorless.Types.HasType t26, Colorless.Ast.ToAst t26, Colorless.Types.HasType t27, Colorless.Ast.ToAst t27, Colorless.Types.HasType t28, Colorless.Ast.ToAst t28, Colorless.Types.HasType t29, Colorless.Ast.ToAst t29, Colorless.Types.HasType t30, Colorless.Ast.ToAst t30, Colorless.Types.HasType t31, Colorless.Ast.ToAst t31, Colorless.Types.HasType t32, Colorless.Ast.ToAst t32) => Colorless.Client.Expr.ToArgs (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)

module Colorless.Client.Exchange
data Request meta a
Request :: Version -> Version -> meta -> Expr a -> Request meta a
data Response err a
Response'Error :: (ResponseError err) -> Response err a
Response'Success :: a -> Response err a
data ResponseError err
ResponseError'Service :: err -> ResponseError err
ResponseError'Runtime :: RuntimeError -> ResponseError err
instance (GHC.Classes.Eq a, GHC.Classes.Eq err) => GHC.Classes.Eq (Colorless.Client.Exchange.Response err a)
instance (GHC.Show.Show a, GHC.Show.Show err) => GHC.Show.Show (Colorless.Client.Exchange.Response err a)
instance GHC.Show.Show err => GHC.Show.Show (Colorless.Client.Exchange.ResponseError err)
instance GHC.Classes.Eq err => GHC.Classes.Eq (Colorless.Client.Exchange.ResponseError err)
instance (Colorless.Ast.ToAst meta, Colorless.Types.HasType meta, Colorless.Ast.ToAst a, Colorless.Types.HasType a) => Data.Aeson.Types.ToJSON.ToJSON (Colorless.Client.Exchange.Request meta a)
instance (Data.Aeson.Types.FromJSON.FromJSON err, Colorless.Types.HasType err) => Data.Aeson.Types.FromJSON.FromJSON (Colorless.Client.Exchange.ResponseError err)
instance Data.Aeson.Types.ToJSON.ToJSON err => Data.Aeson.Types.ToJSON.ToJSON (Colorless.Client.Exchange.ResponseError err)
instance (Data.Aeson.Types.FromJSON.FromJSON err, Colorless.Types.HasType err, Data.Aeson.Types.FromJSON.FromJSON a, Colorless.Types.HasType a) => Data.Aeson.Types.FromJSON.FromJSON (Colorless.Client.Exchange.Response err a)
instance (Data.Aeson.Types.ToJSON.ToJSON err, Data.Aeson.Types.ToJSON.ToJSON a) => Data.Aeson.Types.ToJSON.ToJSON (Colorless.Client.Exchange.Response err a)

module Colorless.Client

module Colorless.Server.Expr
data Expr m
Expr'Ref :: Ref -> Expr m
Expr'UnVal :: (UnVal m) -> Expr m
Expr'Val :: Val -> Expr m
Expr'If :: (If m) -> Expr m
Expr'Get :: (Get m) -> Expr m
Expr'Define :: (Define m) -> Expr m
Expr'Lambda :: (Lambda m) -> Expr m
Expr'List :: (List m) -> Expr m
Expr'Tuple :: (Tuple m) -> Expr m
Expr'Fn :: (Fn m) -> Expr m
Expr'FnCall :: (FnCall m) -> Expr m
Expr'Do :: (Do m) -> Expr m
Expr'ApiUnCall :: (ApiUnCall m) -> Expr m
data EvalConfig m
EvalConfig :: Options -> (ApiCall -> m Val) -> EvalConfig m
data Ref
Ref :: Symbol -> Ref
data UnVal m
UnVal'Const :: Const -> UnVal m
UnVal'UnWrap :: (UnWrap m) -> UnVal m
UnVal'UnStruct :: (UnStruct m) -> UnVal m
UnVal'UnEnumeral :: (UnEnumeral m) -> UnVal m
data UnEnumeral m
UnEnumeral :: EnumeralName -> Maybe (Map MemberName (Expr m)) -> UnEnumeral m
data UnWrap m
UnWrap :: Expr m -> UnWrap m
data UnStruct m
UnStruct :: Map MemberName (Expr m) -> UnStruct m
data If m
If :: Expr m -> Expr m -> Expr m -> If m
data Get m
Get :: [Text] -> Expr m -> Get m
data Define m
Define :: Symbol -> Expr m -> Define m
data Lambda m
Lambda :: [(Symbol, Type)] -> Expr m -> Lambda m
newtype Fn m
Fn :: ([Expr m] -> Eval m (Expr m)) -> Fn m
data List m
List :: [Expr m] -> List m
data Do m
Do :: [Expr m] -> Do m
data FnCall m
FnCall :: Expr m -> [Expr m] -> FnCall m
data ApiUnCall m
ApiUnCall'HollowUnCall :: HollowUnCall -> ApiUnCall m
ApiUnCall'WrapUnCall :: (WrapUnCall m) -> ApiUnCall m
ApiUnCall'StructUnCall :: (StructUnCall m) -> ApiUnCall m
ApiUnCall'EnumerationUnCall :: (EnumerationUnCall m) -> ApiUnCall m
data HollowUnCall
HollowUnCall :: TypeName -> HollowUnCall
data WrapUnCall m
WrapUnCall :: TypeName -> Expr m -> WrapUnCall m
data StructUnCall m
StructUnCall :: TypeName -> Expr m -> StructUnCall m
data EnumerationUnCall m
EnumerationUnCall :: TypeName -> Expr m -> EnumerationUnCall m
data Val
Val'Const :: Const -> Val
Val'Prim :: Prim -> Val
Val'ApiVal :: ApiVal -> Val
Val'List :: [Val] -> Val
data ApiVal
ApiVal'Struct :: Struct -> ApiVal
ApiVal'Enumeral :: Enumeral -> ApiVal
data Wrap
Wrap :: Const -> Wrap
data Struct
Struct :: Map MemberName Val -> Struct
data Enumeral
Enumeral :: EnumeralName -> Maybe (Map MemberName Val) -> Enumeral
data ApiCall
ApiCall'Hollow :: TypeName -> ApiCall
ApiCall'Struct :: TypeName -> Struct -> ApiCall
ApiCall'Enumeration :: TypeName -> Enumeral -> ApiCall
ApiCall'Wrap :: TypeName -> Wrap -> ApiCall
jsonToExpr :: (Monad m) => Value -> Maybe (Expr m)
apiCallName :: ApiCall -> TypeName
fromAst :: Monad m => Ast -> Expr m
data ApiParser api
ApiParser :: Map TypeName api -> Map TypeName (Val -> Maybe api) -> Map TypeName (Val -> Maybe api) -> Map TypeName (Val -> Maybe api) -> ApiParser api
parseApiCall :: ApiParser api -> ApiCall -> Maybe api
eval :: (MonadIO m, RuntimeThrower m) => Expr m -> IORef (Env m) -> Eval m (Expr m)
forceVal :: (RuntimeThrower m) => Expr m -> Eval m Val
runEval :: MonadIO m => Eval m a -> EvalConfig m -> m a
emptyEnv :: RuntimeThrower m => IO (IORef (Env m))
instance GHC.Classes.Eq (Colorless.Server.Expr.UnWrap m)
instance GHC.Show.Show (Colorless.Server.Expr.UnWrap m)
instance GHC.Classes.Eq (Colorless.Server.Expr.UnStruct m)
instance GHC.Show.Show (Colorless.Server.Expr.UnStruct m)
instance GHC.Classes.Eq (Colorless.Server.Expr.UnEnumeral m)
instance GHC.Show.Show (Colorless.Server.Expr.UnEnumeral m)
instance GHC.Classes.Eq (Colorless.Server.Expr.UnVal m)
instance GHC.Show.Show (Colorless.Server.Expr.UnVal m)
instance GHC.Classes.Eq (Colorless.Server.Expr.If m)
instance GHC.Show.Show (Colorless.Server.Expr.If m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Get m)
instance GHC.Show.Show (Colorless.Server.Expr.Get m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Define m)
instance GHC.Show.Show (Colorless.Server.Expr.Define m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Lambda m)
instance GHC.Show.Show (Colorless.Server.Expr.Lambda m)
instance GHC.Classes.Eq (Colorless.Server.Expr.List m)
instance GHC.Show.Show (Colorless.Server.Expr.List m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Tuple m)
instance GHC.Show.Show (Colorless.Server.Expr.Tuple m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Do m)
instance GHC.Show.Show (Colorless.Server.Expr.Do m)
instance GHC.Classes.Eq (Colorless.Server.Expr.FnCall m)
instance GHC.Show.Show (Colorless.Server.Expr.FnCall m)
instance GHC.Classes.Eq (Colorless.Server.Expr.WrapUnCall m)
instance GHC.Show.Show (Colorless.Server.Expr.WrapUnCall m)
instance GHC.Classes.Eq (Colorless.Server.Expr.StructUnCall m)
instance GHC.Show.Show (Colorless.Server.Expr.StructUnCall m)
instance GHC.Classes.Eq (Colorless.Server.Expr.EnumerationUnCall m)
instance GHC.Show.Show (Colorless.Server.Expr.EnumerationUnCall m)
instance GHC.Classes.Eq (Colorless.Server.Expr.ApiUnCall m)
instance GHC.Show.Show (Colorless.Server.Expr.ApiUnCall m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Expr m)
instance GHC.Show.Show (Colorless.Server.Expr.Expr m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Colorless.Server.Expr.Eval m)
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader (Colorless.Server.Expr.EvalConfig m) (Colorless.Server.Expr.Eval m)
instance GHC.Base.Monad m => GHC.Base.Monad (Colorless.Server.Expr.Eval m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (Colorless.Server.Expr.Eval m)
instance GHC.Base.Functor m => GHC.Base.Functor (Colorless.Server.Expr.Eval m)
instance GHC.Classes.Eq Colorless.Server.Expr.ApiCall
instance GHC.Show.Show Colorless.Server.Expr.ApiCall
instance GHC.Classes.Eq Colorless.Server.Expr.HollowUnCall
instance GHC.Show.Show Colorless.Server.Expr.HollowUnCall
instance GHC.Classes.Eq Colorless.Server.Expr.Ref
instance GHC.Show.Show Colorless.Server.Expr.Ref
instance Colorless.RuntimeThrower.RuntimeThrower m => Colorless.RuntimeThrower.RuntimeThrower (Colorless.Server.Expr.Eval m)
instance GHC.Show.Show (Colorless.Server.Expr.Fn m)
instance GHC.Classes.Eq (Colorless.Server.Expr.Fn m)

module Colorless.Server