[innguest]

That's because the road to good code is through the gates of increasingly smarter type systems.

[k__]

[Citation needed]

;)