0.4.0 using tournament 0.18.0 - two argument unification of constructors
0.4.0