Prohibiting Type Confusion With Inline Type Information - View it on GitHub