that would be a limitation of the type system, it ...
# random
p
that would be a limitation of the type system, it has nothing to do with erasure