partial transition to higher-kinded Naive Bayes and Classifier in general; still some issues with KMeans
witnesses for scala collections for more of axle.algebra
adjust monad spec for new 'bind' method signature
higher-kinded k-means