A thought on static types vs. dynamic types
Finally fixed