you could require `MonoidK` too, which has an `emp...
# arrow
p
you could require
MonoidK
too, which has an
empty()
method