Если я хочу сделать аналог read :: String -> a, то куда смотреть, какую магию использовать чтобы сделать что-нибудь типа readConfig :: Env -> Name -> a чтобы потом { readConfig env "N" :: Int } т.е. читать конфиг и автоматом через указание типа получать нужный тип, а не конвертить строку в нужный тип
Если я хочу сделать аналог read :: String -> a, то куда смотреть, какую магию использовать чтобы сделать что-нибудь типа readConfig :: Env -> Name -> a чтобы потом { readConfig env "N" :: Int } т.е. читать конфиг и автоматом через указание типа получать нужный тип, а не конвертить строку в нужный тип
Если я хочу сделать аналог read :: String -> a, то куда смотреть, какую магию использовать чтобы сделать что-нибудь типа readConfig :: Env -> Name -> a чтобы потом { readConfig env "N" :: Int } т.е. читать конфиг и автоматом через указание типа получать нужный тип, а не конвертить строку в нужный тип