import HsSyn ( Stmt(..), HsExpr(..), GRHSs(..), GRHS(..) )
import TcHsSyn ( TypecheckedGRHSs, TypecheckedPat, TypecheckedStmt )
-import CoreSyn ( CoreExpr, Bind(..) )
+import CoreSyn ( CoreExpr )
import Type ( Type )
import DsMonad
import DsUtils
import PrelInfo ( nON_EXHAUSTIVE_GUARDS_ERROR_ID )
-import Unique ( otherwiseIdKey, trueDataConKey, hasKey, Uniquable(..) )
+import Unique ( otherwiseIdKey, trueDataConKey, hasKey )
\end{code}
@dsGuarded@ is used for both @case@ expressions and pattern bindings.