I like the minimalism of the fix, but isn't this yet another platform-specific detail leaking into `Types.scala`?