opaque types

Scala Native Love with Richard Whaling