ghci025.stdout-6.8 3.06 KB