andAlso/andWith for Checker
andAlso/andWith for Checker

With that, Checker might be an Applicative, but I'm not yet convinced of that.
Its laws will have to be checked (no pun intended).

non/scalaz-contrib,typelevel/scalaz-contrib