úÎ!`öSafe-.HUV5type-operators,Map any constraints over any type variables. ¯a :: [Show, Read] <+> a => a -> a = a :: (Show a, Read a) => a -> a a :: Show <+> [a, b, c] => a -> b -> c -> String = a :: (Show a, Show b, Show c) => a -> b -> c -> String type-operators(Map a constraint over several variables. Ua :: Show <=> [a, b] => a -> b -> String = a :: (Show a, Show b) => a -> b -> String type-operatorsBInfix application that can take two arguments in combination with . Of :: Either $$ Int ^> Int $ Int ^> Int = f :: Either (Int -> Int) (Int -> Int) type-operators A flipped . 0f :: Maybe Int & Maybe = f :: Maybe (Maybe Int) type-operatorsInfix application. @f :: Either String $ Maybe Int = f :: Either String (Maybe Int) type-operators A flipped . 6f :: Maybe String <^ Int = f :: Maybe (Int -> String) )Note: this is not partially applied like  and ->.type-operatorsA 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.2.0.0-EmQsiELhxQeJAC2aK8I9LOControl.Type.Operator<+><=>$$&$<^^>