eLyKseeR in Haskell Haskell has an elaborate type system to reason about code and programs at an abstract level. development ghcid -c "cabal new-repl"