minor clean up
Implement Check Comparers on top of type classes, close #1446