унифицировать реализацию метода toUrlPiece так:
toUrlPiece = pack . show . coerce Но не могу правильно задать тип, ведь в Coercible мне нужно два параметра:
toUrlPiece :: (Show b, Coercible a b) => b -> Text Как мне избавиться от a?
никак, ты этого не хочешь
Обсуждают сегодня