マジレスするとHaskell使えばテストは必要ない。
テストでバグを発見できるというのは甘え。