> It will be easier to add top level signatures like Parser Int where Parser is your parsing monad. > Working with concrete types with all type variables fixed helps GHC optimize a lot better.
Потому что char полиморфный. А у меня там используются ещё common-парсеры, которые мономорфизированы до моего Parser. Вероятно, не надо их мономорфизировать
