Я хочу на уровне типов иметь проверку, что данные валидны,

для этого я создал data ParamsS (xs :: [(Symbol, Type, IsRequired)]) :: Type (схема) (где `data IsRequired = Required | NotRequired
`), далее сам тип данных, где можно будет хранить данные:
data Params (xs :: [(Symbol, Type)]) :: Type where
ParamsNil :: Params '[]
ParamsCons :: KnownSymbol s => Proxy s -> ty -> Params xs -> Params ('(s, ty) ': xs)

makeParam :: KnownSymbol s => a -> Params xs -> Params ('(s, a) ': xs)
makeParam = ParamsCons Proxy

Теперь я хочу проверить, что данные в Params валидны, поэтому создал class SchemaResolved schema data_
Далее объявил необходимые инстансы, захотел написать что-то такое:
example :: SchemaResolved (ParamsS '[ ... ]) a => a
example = makeParam @"param_name" 10 (makeParam @"another" 42 ParamsNil)
Но это не работает, так как GHC не понимает, что такое a. Это можно как-то обойти? И вообще нормально ли таким образом программировать на типах или я что-то делаю не так?

SchemaResolved a b — немного неудачное решение, так как нет проверки на лишние поля, которые потенциально могут быть переданы

А, нет, похоже, работает...

Вот, я добавил щепотку fun deps: class KnownSymbol s => IsParam s a | s -> a where makeParam :: a -> Params xs -> Params ('(s, a) ': xs) makeParam = ParamsCons Proxy instance IsParam "name" String instance IsParam "age" Int x = makeParam @"name" "Bob" $ makeParam @"age" 42 $ ParamsNil

а минус такого решения простой: у разных наборов данных же поле с одним именем может иметь разные типы

> Теперь я хочу проверить, что данные в Params валидны что значит "валидны"? То есть подходят под какой-то рекорд?

Если для каждого '(s, ty) в Params найдётся '(s, ty, k) в ParamsS и нет лишних параметров (т.е. нет такого, что в Params есть какой-то параметр, а в ParamsS его нет) и для каждого '(s, ty, 'Required) в ParamsS найдётся пара (s, ty) в Params, то Params валидны

Так можно сделать, но для этой задачи это не имеет смысла, так как у одного и того же параметра может быть разный тип (это зависит от запроса)

Начнём с первого: это условие выполнится для Params ('(s, ty) ': xs) и ParamsS ('(s, ty, k) ': xss) или если это не так, то это условие выполняется, только если выполняется условие для Params ('(s, ty) ': xs) и ParamsS xss) 2) Обязано выполняться ParamsS xss и Params '[], иначе есть лишние поля 3) Условие выполняется для Params ('(s, ty) ': xs) и ParamsS ('(s, ty, 'Required) ': xss) или если это не так, то это условие выполняется, только если выполняется условие для Params xs и ParamsS ('(s, ty, 'Required) ': xss))

Да, сложно, так как придётся как-то закодировать эти три условия (я встрял уже на первом. у меня там overlapping instances, лул)