# LL.(run(mid 1 ++ mid 2 >>= fun x -> mid x ++ mid (10*x) ));;
- : int LL.result = \[[1; 10; 2; 20]]
# LL.(run(mid 1 ++ mid 2 >>= fun x -> hoist Monad.List.(mid x ++ mid (10*x) )));;
- - : int LL.result = \[[1; 2]; [1; 20]; [10; 2]; [10; 20]]
+ - : int LL.result = [[1; 2]; [1; 20]; [10; 2]; [10; 20]]
<!--
# EL.(run((++) (throw "bye") (mid 20) >>= fun i -> mid (i+10)));;