Я видимо не понимаю, как им пользоваться. Предположим я вбиваю тип Hasql.Connection, он показывает типы, в которых есть Connection. Но, например, функцию Hasql.Session.run, которая принимает Connection не показывает.
Кстати, intellij для java умеет так: пишешь выражение, добавляешь .iter нажимаешь TAB и хоба -- у тебя цикл по коллекции. Можно было бы сделать также для Хаскеля только сортировать как-то по умному: в хаскеле очень много функций получают первым параметром просто a.
Я видимо не понимаю, как им пользоваться. Предположим я вбиваю тип Hasql.Connection, он показывает типы, в которых есть Connection. Но, например, функцию Hasql.Session.run, которая принимает Connection не показывает.
Потому что он работает чуть по другому, показываешь ему примерную желаемую сигнатуру, он её найдёт. Искать просто все функции, где есть вхождение данного типа он не пытается.