[UPDATE] examples.
[UPDATE] remove type-checking for comparator.
[UPDATE] remove type-checking for comparator.