classify some traits
Erase linear overhead in kleisliU.
Merge pull request #523 from xuwei-k/classify

classify some traits