Type.Function

type APPLY :: forall a b. (a -> b) -> a -> btype APPLY f a = f a

Polymorphic Type application

For example...

APPLY Maybe Int == Maybe $ Int == Maybe Int

Operator alias for Type.Function.APPLY (right-associative / precedence 0)

type FLIP :: forall a b. a -> (a -> b) -> btype FLIP a f = f a

Reversed polymorphic Type application

For example...

FLIP Int Maybe == Int # Maybe == Maybe Int

Operator alias for Type.Function.FLIP (left-associative / precedence 1)