Created Started Cancelled
By: Tom Sydney Kerckhove <syd@cs-syd.eu>
#1637, don't demand type applications in infix positions An operator used infix or in a section, and a constructor pattern in record or infix form, cannot carry a visible type application either. Flagging them asked the reader to restructure the expression, which is not what the restriction is for. Parenthesised, as in (<+>), the operator is back in prefix position and is still checked.