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