MapInstances

std

map

std

monoidIsEmpty

EmptyInstances1