ghci025.stdout 3.72 KB