A spell checker implemented using a bloom filter.

My first time programming with (emulated) dependent types in Haskell.