Functor Monoid.Opt

module Opt: 
functor (S : Semigroup.S) -> S  with type t = S.t option

type t 

val append : t -> t -> t

val zero : t