4 kyu

Loading Kata: A+A=B+B so A=B? Prove it in Haskell!