yogthos in programming

Reflecting on static types