:l ghci016
3