What exactly is the Any monoid?
What operations are valid on it?