Codec.TPTP.Diff
class Diffable a b
data DiffResult d
type T0Diff
type F0Diff
isSame
diffGenF
diffGenT
printSampleDiffs