BCS Edinburgh: Beautiful code: code with better type