Type inference issue with `Arrow` type class

[sweirich]

see examples/tests/Arrow.hs

Shows up in CallArity.hs. Workaround is to use a let to name the argument of Arrow.first instead of providing a lambda expression.