On 05/10/2013 09:28 PM, Bardur Arantsson wrote:
On 05/10/2013 08:13 AM, Niklas Hambüchen wrote:
I would like to propose the addition of

-1

(forM_ may not be the best name, but Hoogle will usually find what you
want.)

True, I just tested it and forM_ and for_ are the second and the third result (with colors nicely indicating that "Maybe a" corresponds to "t a").