I think lisper was raising a tangential but still valid point. Haskell imports don&#x27;t suffer from the problem he was pointing out; we only see the function type in one place.<p>It&#x27;s not the fault of Haskell imports that literate programs put them first.