Create ch09.lhs