- | WENote n e => CoreENote n (weakExprToCoreExpr f e )
- | WELam (weakExprVar ev _ ) e => CoreELam ev (weakExprToCoreExpr f e )
- | WETyLam (weakTypeVar tv _ ) e => CoreELam tv (weakExprToCoreExpr f e )
- | WECoLam (weakCoerVar cv _ _ _) e => CoreELam cv (weakExprToCoreExpr f e )
- | WECast e co => CoreECast (weakExprToCoreExpr f e ) (weakCoercionToCoreCoercion co)
+ | WENote n e => CoreENote n (weakExprToCoreExpr e )
+ | WELam (weakExprVar ev _ ) e => CoreELam ev (weakExprToCoreExpr e )
+ | WETyLam (weakTypeVar tv _ ) e => CoreELam tv (weakExprToCoreExpr e )
+ | WECoLam (weakCoerVar cv _ _ _) e => CoreELam cv (weakExprToCoreExpr e )
+ | WECast e co => CoreECast (weakExprToCoreExpr e ) (weakCoercionToCoreCoercion co)