Include function results and monadic types in the inferred holes.
Include function results and monadic types in the inferred holes.

I suspect this is all that's needed to get polymorphic let/bind
working, without needing to actually implement it directly.  I haven't
got a good example yet, though.

barrucadu/spec