TypecheckedMonoBinds )
import Id ( idType, Id )
-import Type ( Type )
+import TcType ( Type )
import TysWiredIn ( mkListTy, mkTupleTy, unitTy )
import BasicTypes ( Boxity(..) )
-import Panic ( panic )
\end{code}
Note: If @outPatType@ doesn't bear a strong resemblance to @exprType@,