Type Check Playground

Pick argument types for a typed call; a mypy-style checker flags type-hint violations at author time, before runtime.