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