Unification, it compiles and seems coherent