Просматривая кучу различных пакетов, я часто натыкаюсь на документацию экземпляров, которая выглядит примерно так ( Control.Category ): Category k (Coercion k) Category * (->) или это ( Control.Monad.Trans .Идентификация ): MonadTrans...