I have some concerns but nothing too major.
- Will this be able to work with existing typespecs as written? I have a concern about duplication of effort.
- I’m concerned about IPC interfaces like Phoenix PubSub and just basic process message passing. How will that work, or will it simply be a limitation on the concept?
- How will this work with function heads? With typespecs as written, I can’t write a @spec for each head - just one. I want to be able to write a type definition for each function head if I want, though I’m not sure if the flexibility I want is achievable.
