choice of unit and bind for the list monad.
Yet we can still desire to go deeper, and see if the appropriate bind
behavior emerges from the types, as it did for the previously
considered monads. But we can't do that if we leave the list type as
a primitive OCaml type. However, we know several ways of implementing
choice of unit and bind for the list monad.
Yet we can still desire to go deeper, and see if the appropriate bind
behavior emerges from the types, as it did for the previously
considered monads. But we can't do that if we leave the list type as
a primitive OCaml type. However, we know several ways of implementing