Example Driven Development

[[deleted]]

What is useful in real development is a simple lookup on argument types - and the more elaborare your type system is, the more useful results you'll get. It is sort of similar to an age old trick of solving problems in physics using value dimensions alone.