But - if that's right, I must be missing something...

# arrow

[Derek Berner]

But - if that's right, I must be missing something because it's causing my type annotations to explode, type inference to fail utterly, and is requiring lots of messy transformative boilerplate.