hasDiff
DiffResult
hlistDiff
diff
hnilDiff
diff