[swift-evolution] Epic: Typesafe calculations

[Dave Abrahams]

on Thu Jan 21 2016, Erica Sadun <swift-evolution at swift.org> wrote:

> Going off the top of my head, I'd imagine it's a product type that
> inherits memory layout, code reuse, and conformances but introduces a
> distinct type for type safety checks. 

FWIW, that's definitely not what *I'm* talking about, though some of the
people in this thread may have meant that.

-Dave