since you'll be talking to genomics people, you might want to look at a Bachelor thesis about sequence alignment . The author is a PhD student in Cambridge now.
In a nutshell, the ListT monad transformer  is a good abstraction for full-text index structures [*] that are in heavy use among the genomics people. ListT represents the basic state transformation when a symbol is added to the query string. It also facilitates alignment of sequences with uncertain values [+]. Swapping out the monad lets you change the model of uncertainty, but you write your algorithm only once. I can provide code if required.
The edit distance algorithm  might also go down well at Sanger. It is an example where lazyness and subtle re-arrangement turns a quadratic algorithm into an optimal one.