ghci028.stdout 7 Bytes