zypeh
says to
OwO
写 Haskell 你就知道连 bug 都能被证明出来