Types, and two approaches to problem solving · HackerTrans