reference to Miles's unboxed union types