úÎÝzSafe*+,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: 6f :: Maybe Int ^> String = f :: Maybe (Int -> String) 9 9 31255 -type-operators-0.1.0.3-8s1CNQOKNHBHO3nrm5aS5QControl.Type.Operator<+><=>$$&$<^^>