Re: [Haskell-cafe] Type families not as useful over functions

Can you live with infixl |$| (|$|) :: [a -> r] -> a -> [r] fs |$| x = map ($ x) fs and, instead of "broadcast fs a b" use fs |$| a |$| b ?

map ($ x) fs = { Applicative Functors satisfy... } pure ($ x) <*> fs = { 'interchange' rule from Control.Applicative } fs <*> pure x Thus; fs |$| x === fs <*> pure x fs |$| x |$| y === fs <*> pure x <*> pure y - George