-- | If the expression is a 'Type', converts. Otherwise,
-- panics. NB: This does /not/ convert 'Coercion' to 'CoercionTy'.
exprToType :: CoreExpr -> Type
exprToType (Type ty)     = ty
exprToType :: CoreExpr -> Type
exprToType (Type ty)     = ty
exprToType (Type ty)     = ty