option

fun <A> option(MA: Semigroup<A>): Monoid<Option<A>>