int * int * int -> float -> float -> float -> float
obj
Signiture type for Lance and Williams Linker functions D(A u B,C) = alpa1 d(A,C) + alpa2 d(B,C) + beta d(A,B) + gamma |d(A,C) - d(BC))|