addTickHsExpr (ExplicitSum tag arity e ty) = do
        e' <- addTickLHsExpr e
        return (ExplicitSum tag arity e' ty)
addTickHsExpr (ExplicitSum tag arity e ty) = do
        e' <- addTickLHsExpr e
        return (ExplicitSum tag arity e' ty)
addTickHsExpr (ExplicitSum tag arity e ty) = do
        e' <- addTickLHsExpr e
        return (ExplicitSum tag arity e' ty)