option

fun <A> option(SGA: Semigroup<A>): Semigroup<Option<A>>