((addErrorMessage ("CoreType of WeakExpr: " +++ coreTypeOfCoreExpr (weakExprToCoreExpr we))
((weakTypeOfWeakExpr we) >>= fun t =>
(addErrorMessage ("WeakType: " +++ t)
((addErrorMessage ("CoreType of WeakExpr: " +++ coreTypeOfCoreExpr (weakExprToCoreExpr we))
((weakTypeOfWeakExpr we) >>= fun t =>
(addErrorMessage ("WeakType: " +++ t)