Doesn't this violate the substitution principle?
# stdlib
m
Doesn't this violate the substitution principle?