See Note [Arrows and patterns] in TcPat. This fixes Trac 1662. Test is arrows/should_compile/arrowpat.hs Please merge