Doing the magic stuff you say doesn't work well due to the ambiguities that could result. Applicative style is so trivial that it's hard to say it's worth it t

Doing the magic stuff you say doesn't work well due to the ambiguities that could result. Applicative style is so trivial that it's hard to say it's worth it to automate it at the cost of ambiguities. Feel free to write a GHC proposal to solve this trivial deficiency - anyone! I dare you! I'd like to see this complaint's rubber hit the road.