Compare commits

...
A pull request between these branches already exists: profectus/Profectus#16

[WIP] Improve lazy proxy typing #16