Toy type system for testing impact of implicit java type conversion.
See Also: