countdown.lhs provided by class.
Hoemwork 10 in Homework 10, duh.