Fix #403: Take the prefix of opaque type aliases into account in erasure. #406

Closed sjrd closed 10 months ago