added one exercise to statically typed KOOL