Module type GapiMonad.ListMonad

module type ListMonad = sig .. end

include GapiMonad.Monad

val mzero : 'a t

val mplus : 'a t -> 'a t -> 'a t

val guard : bool -> unit t