параметров которого идейно не является типом (а является именно опцией для этого класса), и приятно сделать кастомный кайнд для такого, но список опций хочется оставить расширяемым? В aeson-deriving например все штуки имеют кайнд Type, видимо потому, что если свой датакайнд завести то в него нельзя будет по простому значение добавить.
Можно например вот так ещё делать (у меня так), не слишком красиво правда, так как фейковый параметр:
data ServerAppHelper
type ServerApp = ServerAppHelper -> Type
type ServerAppStandart :: ServerApp
data ServerAppStandart notRealParam
> type ServerAppStandart :: ServerApp > data ServerAppStandart notRealParam можно делать просто data ServerAppStandart :: ServerApp в fcf активно такое юзается
Обсуждают сегодня