.ghci 422 Bytes