Strctural vs Nominal Types

Generators