Haskell nuggets: functional k-means with dependent types | Dark Hacker News