Haskell nuggets: functional k-means with dependent types
blog.jle.im