Beta

Loading Kata: A+B=B+A? Prove it in using DataKinds!