Haskell, Strong Types, and the Next Generation of Bioinformatics | Hacker News Reader