patch applied (haskell-prime-status): reject linear implicit parameters

Back to the list