úÎ \ None&>HIKLNRSyntactic sugar for type constraints, allowing omission of repeat type variables."a :: (Num % Show) a => a -> String#a :: (Num a, Show a) => a -> StringBInfix application that takes a two arguments rather than just one.f :: Either $$ Int ^> Int $ Intf :: Either (Int -> Int) Int A flipped .f :: Maybe Int & Maybef :: Maybe (Maybe Int)Infix application.f :: Either String $ Maybe Intf :: Either String (Maybe Int) A flipped .f :: Maybe String <^ Int)Note: this is not partially applied like  and ->.A tightly binding version of ->K that lets you strip parentheses from first-class type-functions. Example:f :: Maybe Int ^> Stringf :: Maybe (Int -> Int)typeo_B6zUU3AghYWDfC1jnqcgGbControl.Type.Operator%$$&$<^^>