Mem is a subtype of itself.