I've got a few network services working with Idris and they run okay. The compilation time grows so quickly you can't use it for very large projects though. Ho

I've got a few network services working with Idris and they run okay. The compilation time grows so quickly you can't use it for very large projects though. Honestly, Haskell dependent-typing is SO MUCH MORE COMPLEX than Idris's "well what if I just write a function that takes a type?" approach, it's not even funny. Even the author of singleton says it's a rough landscape. Haskell's going to get much closer with QuantifiedConstraints in ghc 8.6, in that it'll simplify a lot of this work, but it's still years out from the simplicity and library unification.