By focusing entirely on the type system rather than building a programming language usable for actually building applications. Idris is a wonderful research language, but is awful as a language to write production software in.