ghci026.stdout 432 Bytes