haddock Haskell Если явным образом запретить экспорт конструктора типа, но разрешить экспорт селекторов, то они будут изображены в документации как функции. Почти. Для селектора t из типа data T = T { t :: forall m. Monad m => m Int } констрейнты будут перечислены после аргумента T и с явным forall'ом. Можно это как-то пофиксить (кроме как написать алиасы)?