Test.TypeSpec.Internal.Apply

type family (ma :: monad a) >>= (f :: TyFunData (a :: Type) (monad b :: Type)) :: monad b

type ma >> mb

type family (f :: m (a ~> b)) <*> (ma :: m a) :: m b where ...

data (<$>$$)

data (<$>$)

type family (f :: a ~> b) <$> (ma :: m a) :: m b

data TyCon1

data TyCon2

type family Apply (f :: a ~> b) (x :: a) :: b

data TyFun

type TyFunData a b

type a ~> b

data Cons''

data Cons'

data Pair''

data Pair'

type family Const (a :: t) (b :: t') :: t where ...

data Const'

data Const''

data Flip'

data Flip

data Flip_

type family Flip__ (f :: a ~> (b ~> c)) (y :: b) (x :: a) :: c where ...

data Compose''

data Compose'

data Compose

type family Compose_ (f :: b ~> c) (g :: a ~> b) (x :: a) :: c where ...