在ghci中输入默认值

在ghci中输入默认值