generated at
2/18/2025, 11:44:04 AM
Qualified Types: Theory and Practice
https://www.cs.ox.ac.uk/files/3432/PRG106.pdf
qualified type