Compare Funs by id instead of value (to be consistent with ordering on terms)
Compare Funs by id instead of value (to be consistent with ordering on terms)

nick8325/twee,nick8325/twee,nick8325/kbc,nick8325/twee