sig
  module type S =
    sig
      type 'a t
      val bind : 'a t -> ('-> 'b t) -> 'b t
      val return : '-> 'a t
      val failwith : string -> 'a t
    end
end