úΓ#Safe*+,9;<=DNOQRTTuple constructor operator @a :: String * Int * (Int, Int) = a :: (String, Int, (Int, Int)) 5Note: this will flatten tuples on the left-hand-side. !a :: (a, b) * c = a :: (a, b, c) /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 can take two arguments in combination with . Of :: Either $$ Int ^> Int $ Int ^> Int = f :: Either (Int -> 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 . 6f :: Maybe String <^ Int = f :: Maybe (Int -> String) )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 9 31255 -type-operators-0.1.0.4-F6ZR46kWR7rC73ehRJEsL4Control.Type.Operator<+><=>$$&$<^^>*