A spell checker implemented using a bloom filter.
My first time programming with (emulated) dependent types in Haskell.