singletons-2.2: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Base

Contents

Description

Implements promoted functions from GHC.Base module.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Prelude. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

Promoted functions from GHC.Base

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... #

Equations

Foldr k z a_6989586621679550286 = Apply (Let6989586621679550291GoSym3 k z a_6989586621679550286) a_6989586621679550286 

type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... #

Equations

Map _z_6989586621679550265 '[] = '[] 
Map f ((:) x xs) = Apply (Apply (:$) (Apply f x)) (Apply (Apply MapSym0 f) xs) 

type family (a :: [a]) :++ (a :: [a]) :: [a] where ... infixr 5 #

Equations

'[] :++ ys = ys 
((:) x xs) :++ ys = Apply (Apply (:$) x) (Apply (Apply (:++$) xs) ys) 

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0 

type family Id (a :: a) :: a where ... #

Equations

Id x = x 

type family Const (a :: a) (a :: b) :: a where ... #

Equations

Const x _z_6989586621679550220 = x 

type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... infixr 9 #

Equations

(f :. g) a_6989586621679550183 = Apply (Apply (Apply (Apply Lambda_6989586621679550188Sym0 f) g) a_6989586621679550183) a_6989586621679550183 

type family (f :: TyFun a b -> *) $ (x :: a) :: b infixr 0 #

Instances

type ($) k1 k2 f x # 
type ($) k1 k2 f x = (@@) k1 k2 f x

type family (f :: TyFun a b -> *) $! (x :: a) :: b infixr 0 #

Instances

type ($!) k1 k2 f x # 
type ($!) k1 k2 f x = (@@) k1 k2 f x

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... #

Equations

Flip f x y = Apply (Apply f y) x 

type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... #

Equations

Until p f a_6989586621680073234 = Apply (Let6989586621680073239GoSym3 p f a_6989586621680073234) a_6989586621680073234 

type family AsTypeOf (a :: a) (a :: a) :: a where ... #

Equations

AsTypeOf a_6989586621679550223 a_6989586621679550225 = Apply (Apply ConstSym0 a_6989586621679550223) a_6989586621679550225 

type family Seq (a :: a) (a :: b) :: b where ... infixr 0 #

Equations

Seq _z_6989586621679550146 x = x 

Defunctionalization symbols

data FoldrSym0 l #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679550105 b6989586621679550106) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679550105 b6989586621679550106) t -> () #

type Apply (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) (FoldrSym0 a6989586621679550105 b6989586621679550106) l0 # 
type Apply (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) (FoldrSym0 a6989586621679550105 b6989586621679550106) l0 = FoldrSym1 a6989586621679550105 b6989586621679550106 l0

data FoldrSym1 l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> *) (FoldrSym1 a6989586621679550105 b6989586621679550106) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679550105 b6989586621679550106) t -> () #

type Apply b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) (FoldrSym1 a6989586621679550105 b6989586621679550106 l0) l1 # 
type Apply b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) (FoldrSym1 a6989586621679550105 b6989586621679550106 l0) l1 = FoldrSym2 a6989586621679550105 b6989586621679550106 l0 l1

data FoldrSym2 l l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> b6989586621679550106 -> TyFun [a6989586621679550105] b6989586621679550106 -> *) (FoldrSym2 a6989586621679550105 b6989586621679550106) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679550105 b6989586621679550106) t -> () #

type Apply [a6989586621679550105] b6989586621679550106 (FoldrSym2 a6989586621679550105 b6989586621679550106 l1 l0) l2 # 
type Apply [a6989586621679550105] b6989586621679550106 (FoldrSym2 a6989586621679550105 b6989586621679550106 l1 l0) l2 = FoldrSym3 a6989586621679550105 b6989586621679550106 l1 l0 l2

type FoldrSym3 t t t = Foldr t t t #

data MapSym0 l #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) -> *) (MapSym0 a6989586621679550103 b6989586621679550104) # 

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679550103 b6989586621679550104) t -> () #

type Apply (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) (MapSym0 a6989586621679550103 b6989586621679550104) l0 # 
type Apply (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) (MapSym0 a6989586621679550103 b6989586621679550104) l0 = MapSym1 a6989586621679550103 b6989586621679550104 l0

data MapSym1 l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679550103 b6989586621679550104 -> Type) -> TyFun [a6989586621679550103] [b6989586621679550104] -> *) (MapSym1 a6989586621679550103 b6989586621679550104) # 

Methods

suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679550103 b6989586621679550104) t -> () #

type Apply [a6989586621679550103] [b6989586621679550104] (MapSym1 a6989586621679550103 b6989586621679550104 l0) l1 # 
type Apply [a6989586621679550103] [b6989586621679550104] (MapSym1 a6989586621679550103 b6989586621679550104 l0) l1 = MapSym2 a6989586621679550103 b6989586621679550104 l0 l1

type MapSym2 t t = Map t t #

data (:++$) l #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) -> *) ((:++$) a6989586621679550102) # 

Methods

suppressUnusedWarnings :: Proxy ((:++$) a6989586621679550102) t -> () #

type Apply [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) ((:++$) a6989586621679550102) l0 # 
type Apply [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) ((:++$) a6989586621679550102) l0 = (:++$$) a6989586621679550102 l0

data l :++$$ l #

Instances

SuppressUnusedWarnings ([a6989586621679550102] -> TyFun [a6989586621679550102] [a6989586621679550102] -> *) ((:++$$) a6989586621679550102) # 

Methods

suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679550102) t -> () #

type Apply [a6989586621679550102] [a6989586621679550102] ((:++$$) a6989586621679550102 l0) l1 # 
type Apply [a6989586621679550102] [a6989586621679550102] ((:++$$) a6989586621679550102 l0) l1 = (:++$$$) a6989586621679550102 l0 l1

type (:++$$$) t t = (:++) t t #

data IdSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679550101 a6989586621679550101 -> *) (IdSym0 a6989586621679550101) # 

Methods

suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679550101) t -> () #

type Apply a6989586621679550101 a6989586621679550101 (IdSym0 a6989586621679550101) l0 # 
type Apply a6989586621679550101 a6989586621679550101 (IdSym0 a6989586621679550101) l0 = IdSym1 a6989586621679550101 l0

type IdSym1 t = Id t #

data ConstSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) -> *) (ConstSym0 b6989586621679550100 a6989586621679550099) # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym0 b6989586621679550100 a6989586621679550099) t -> () #

type Apply a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) (ConstSym0 b6989586621679550100 a6989586621679550099) l0 # 
type Apply a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) (ConstSym0 b6989586621679550100 a6989586621679550099) l0 = ConstSym1 b6989586621679550100 a6989586621679550099 l0

data ConstSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679550099 -> TyFun b6989586621679550100 a6989586621679550099 -> *) (ConstSym1 b6989586621679550100 a6989586621679550099) # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679550100 a6989586621679550099) t -> () #

type Apply b6989586621679550100 a6989586621679550099 (ConstSym1 b6989586621679550100 a6989586621679550099 l0) l1 # 
type Apply b6989586621679550100 a6989586621679550099 (ConstSym1 b6989586621679550100 a6989586621679550099 l0) l1 = ConstSym2 b6989586621679550100 a6989586621679550099 l0 l1

type ConstSym2 t t = Const t t #

data (:.$) l #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) -> *) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) # 

Methods

suppressUnusedWarnings :: Proxy ((b6989586621679550096 :.$ a6989586621679550098) c6989586621679550097) t -> () #

type Apply (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) l0 # 
type Apply (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) l0 = (:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0

data l :.$$ l #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> *) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # 

Methods

suppressUnusedWarnings :: Proxy ((a6989586621679550098 :.$$ b6989586621679550096) c6989586621679550097) t -> () #

type Apply (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0) l1 # 
type Apply (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0) l1 = (:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0 l1

data (l :.$$$ l) l #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> (TyFun a6989586621679550098 b6989586621679550096 -> Type) -> TyFun a6989586621679550098 c6989586621679550097 -> *) ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # 

Methods

suppressUnusedWarnings :: Proxy ((a6989586621679550098 :.$$$ b6989586621679550096) c6989586621679550097) t -> () #

type Apply a6989586621679550098 c6989586621679550097 ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l1 l0) l2 # 
type Apply a6989586621679550098 c6989586621679550097 ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l1 l0) l2 = (:.$$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l1 l0 l2

type (:.$$$$) t t t = (:.) t t t #

data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * #

Instances

type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg # 
type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg = ($$$) a b arg

data ($$$) :: (TyFun a b -> *) -> TyFun a b -> * #

Instances

type Apply a b (($$$) a b f) arg # 
type Apply a b (($$$) a b f) arg = ($$$$) a b f arg

type ($$$$) a b = ($) a b #

data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * #

Instances

type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg # 
type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg = ($!$$) a b arg

data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> * #

Instances

type Apply a b (($!$$) a b f) arg # 
type Apply a b (($!$$) a b f) arg = ($!$$$) a b f arg

type ($!$$$) a b = ($!) a b #

data FlipSym0 l #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) -> *) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) t -> () #

type Apply (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) l0 # 
type Apply (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) l0 = FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0

data FlipSym1 l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> *) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095) t -> () #

type Apply b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0) l1 # 
type Apply b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0) l1 = FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0 l1

data FlipSym2 l l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> b6989586621679550094 -> TyFun a6989586621679550093 c6989586621679550095 -> *) (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095) t -> () #

type Apply a6989586621679550093 c6989586621679550095 (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095 l1 l0) l2 # 
type Apply a6989586621679550093 c6989586621679550095 (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095 l1 l0) l2 = FlipSym3 a6989586621679550093 b6989586621679550094 c6989586621679550095 l1 l0 l2

type FlipSym3 t t t = Flip t t t #

data UntilSym0 l #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) -> *) (UntilSym0 a6989586621680073211) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym0 a6989586621680073211) t -> () #

type Apply (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) (UntilSym0 a6989586621680073211) l0 # 
type Apply (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) (UntilSym0 a6989586621680073211) l0 = UntilSym1 a6989586621680073211 l0

data UntilSym1 l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> *) (UntilSym1 a6989586621680073211) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym1 a6989586621680073211) t -> () #

type Apply (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) (UntilSym1 a6989586621680073211 l0) l1 # 
type Apply (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) (UntilSym1 a6989586621680073211 l0) l1 = UntilSym2 a6989586621680073211 l0 l1

data UntilSym2 l l l #

Instances

SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> TyFun a6989586621680073211 a6989586621680073211 -> *) (UntilSym2 a6989586621680073211) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym2 a6989586621680073211) t -> () #

type Apply a6989586621680073211 a6989586621680073211 (UntilSym2 a6989586621680073211 l1 l0) l2 # 
type Apply a6989586621680073211 a6989586621680073211 (UntilSym2 a6989586621680073211 l1 l0) l2 = UntilSym3 a6989586621680073211 l1 l0 l2

type UntilSym3 t t t = Until t t t #

data AsTypeOfSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) -> *) (AsTypeOfSym0 a6989586621679550092) # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679550092) t -> () #

type Apply a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) (AsTypeOfSym0 a6989586621679550092) l0 # 
type Apply a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) (AsTypeOfSym0 a6989586621679550092) l0 = AsTypeOfSym1 a6989586621679550092 l0

data AsTypeOfSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679550092 -> TyFun a6989586621679550092 a6989586621679550092 -> *) (AsTypeOfSym1 a6989586621679550092) # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679550092) t -> () #

type Apply a6989586621679550092 a6989586621679550092 (AsTypeOfSym1 a6989586621679550092 l0) l1 # 
type Apply a6989586621679550092 a6989586621679550092 (AsTypeOfSym1 a6989586621679550092 l0) l1 = AsTypeOfSym2 a6989586621679550092 l0 l1

type AsTypeOfSym2 t t = AsTypeOf t t #

data SeqSym0 l #

Instances

SuppressUnusedWarnings (TyFun a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) -> *) (SeqSym0 a6989586621679550090 b6989586621679550091) # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679550090 b6989586621679550091) t -> () #

type Apply a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) (SeqSym0 a6989586621679550090 b6989586621679550091) l0 # 
type Apply a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) (SeqSym0 a6989586621679550090 b6989586621679550091) l0 = SeqSym1 b6989586621679550091 a6989586621679550090 l0

data SeqSym1 l l #

Instances

SuppressUnusedWarnings (a6989586621679550090 -> TyFun b6989586621679550091 b6989586621679550091 -> *) (SeqSym1 b6989586621679550091 a6989586621679550090) # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym1 b6989586621679550091 a6989586621679550090) t -> () #

type Apply b6989586621679550091 b6989586621679550091 (SeqSym1 b6989586621679550091 a6989586621679550090 l0) l1 # 
type Apply b6989586621679550091 b6989586621679550091 (SeqSym1 b6989586621679550091 a6989586621679550090 l0) l1 = SeqSym2 b6989586621679550091 a6989586621679550090 l0 l1

type SeqSym2 t t = Seq t t #