Example infix/fndecl should now compile and run with ghc.  It wasn't
intended to test for ambiguous type variables - just for the
    (a1 `op` a2) a3 = ...
definition style, which nhc98 still fails to parse.