Consider incorporating the correct covariant suppliers/predicates?

See @paulp's comment here: https://github.com/scala/slip/issues/19#issuecomment-141782414

gist: https://gist.github.com/paulp/846dbd5a67c6bed3c2e9
