X полезнее чем просто инстанс Enum (SomeSing X)?
https://hackage.haskell.org/package/singletons-base-3.2/docs/Data-Singletons-Base-SomeSing.html#t:SomeSing
enum (somesing x) же лишается всего смысла синглтонов, мы не получаем на тайплевеле инфы, это считай просто enum x
Ну да. А в каком случае SEnum полезнее? Оно же в любом случае не имеет смысла для синглтонов, кмк, поэтому обычный Enum и не делают.
ну например когда ты в цикле переключаешь значения и тебе нужна информация что значение только увеличивается
Обсуждают сегодня