Kyle Ehrlich

The problem with that is that you could just return a dependent tuple with arr and s, The reason that this trick works in haskell is because the parameter is...

It seems to me that the linearity rules subtyping should only lift over (dependent) function types. In an ideal world it would also lift over positive functors, but I have...

It would probably be nice to be able to declare infer on the functions, ex: `function foo(b: B, c: SomeComplexType): SomeOtherComplexType`

Pathological example but I think this change might break on arrow functions being inside of computed property names. Can you try: ```js const o1 = { x: "a", foo() {...