module Monad_list: MonadPlus ‘@À±@À£ �!m°ÀŒF c xÀ�
MonadPlus
‘@À±@À£ �!m°ÀŒF c xÀ�
include Deriving_monad.Monad
val mzero : 'a m
'a m
val mplus : 'a m -> 'a m -> 'a m
'a m -> 'a m -> 'a m