BV
Size: a a a
BV
(
AE
AE
AN
(
BV
AN
BV
(
AN
(
interface Monoid<A> {
fun empty(): A
...
}
extension object IntMonoid : Monoid<Int> {
fun empty(): Int = 0
...
AN
interface Monoid<A> {
fun empty(): A
...
}
extension object IntMonoid : Monoid<Int> {
fun empty(): Int = 0
...
(
AN
AE
(
A
I
BV