Teenytt is a very small, didactic proof assistant designed around dependent type theory.
Currently, the best Haskell development tool is HLS, which ought to work with most major editors.
Note that we use -XStrictData by default. This is done to highlight the key uses of lazyness, while avoiding needless clutter imposed strictness annotations everywhere.