Tony Morris

If you want docs on a #Haskell function or type, you have to do a web search on Hoogle or Hayoo! and then get single sentence docs mostly 2/

Even for functions with unconstrained generic types, signature doesn't explain use-cases, e.g. :info on >>= (flatMap/bind) is useless 3/

Noticing an aversion for API docs in Haskell (also for #Scalaz / #Typelevel), compare that situation with Java APIs: http://reactivex.io/RxJava/2.x/javadoc/ …

In all fairness #Typelevel libraries have a policy to provide type-checked docs, but that's not good enough, as it should mandate Scaladocs

Well, I'm doing my part  https://monix.io/api/2.2/ 

I like how Idris, despite allowing for more precise types, deviates from the Haskell trope of "types are a sufficient documentation".

Nobody has ever said that.

Agree with Tony. We only say that "type are documentation".