const

fun <A, T> const(SA: Semigroup<A>): Semigroup<Const<A, T>>