úÎSafe*+,9;<=DNOQRT/Map several constraints over a single variable. Da :: [Show, Read] <+> a => a -> a = a :: (Show a, Read a) => a -> a (Map a constraint over several variables. Ua :: Show <=> [a, b] => a -> b -> String = a :: (Show a, Show b) => a -> b -> String BInfix application that takes a two arguments rather than just one. ?f :: Either $$ Int ^> Int $ Int = f :: Either (Int -> Int) Int  A flipped . 0f :: Maybe Int & Maybe = f :: Maybe (Maybe Int) Infix application. @f :: Either String $ Maybe Int = f :: Either String (Maybe Int)  A flipped . f :: Maybe String <^ Int )Note: this is not partially applied like  and ->.A tightly binding version of ->P that lets you strip parentheses from function types in certain spots. Example: 3f :: Maybe Int ^> String = f :: Maybe (Int -> Int) Empty typeclass constraint.  9 9 31255   -type-operators-0.1.0.2-DD3PxbCBC168ST0ULVljwTControl.Type.Operator<+><=>$$&$<^^> $fEmptykaEmpty