Simon Peyton-Jones
| Indeed, I wished the 0-ary case would be more alike to the unary | and binary case, cf. | | return f0 | f1 <$> a1 | f2 <$> a1 <*> a2 | | What is needed is a nice syntax for "idiom brackets".
Indeed. I'm quite open to adding idiom brackets to GHC, if everyone can agree on their syntax, and someone would like to offer a patch.
Something like (| f a1 a2 |) perhaps?
I can make a patch after people agree on everything. There's also http://hackage.haskell.org/package/applicative-quoters with its template haskell nastiness h> :m +Control.Applicative.QQ.Idiom h> :set -XQuasiQuotes h> [i| (,) "THX" "BYE" |] [('T','B'),('T','Y'),('T','E'),('H','B'),('H','Y'),('H','E'),('X','B'),('X','Y'),('X','E')] -- lelf