@djspiewak Just found https://gist.github.com/djspiewak/741c60cff4959feb5272d88306595771 - great read! I have a few questions, maybe you don't mind me asking them here :)
1st: You mention #Unison (cc @pchiusano), and its "type reconstruction algorithm". I'm not familiar with that term, is that he same as type inference? #Scala's implicits seem similar in a way to abilities, but is the problem you mention not being able to infer e.g. type signatures when context functions are involved (instead just reporting missing implicits)?



