MK
и как мне такой тип описать тогда без варнингов?
а поясни че этот синтаксис значит
интуитивно это явный forall, но чем это отличается от просто
data Channels :: k -> Type
в этом случае?
Size: a a a
2020 November 12
к
почему unused?
ну и опять же интуитивно потому что ты k дальше нигде не используешь
MK
я хочу тип, параметризованный любым кайндом
MK
чтобы можно было скажем
Channels Bool написатьMK
хм
MK
ты намекаешь что из-за
TypeInType это будет просто Type -> Type?к
чтобы можно было скажем
Channels Bool написатьа Bool тут это тип или нет?
MK
да, обычный бул
MK
что-то у меня действительно в голове перемкнуло
MK
спасибо!
MK
пожалуй надо поспать)
MK
переиграл в кок похоже
MK
не, погоди, видимо всё-таки я не правильно тебя понял
MK
щас...
MK
да, работает как я хочу
MK
у меня грубо говоря
data family Foo k (a :: k) :: Type
lol :: forall (tag :: k). Channels k -> Foo k tag -> ()