Enforce type constraints through proxies - View it on GitHub