Как определить функцию, возвращающую полиморфное значение

Question

Я ожидаю, что функция noToState ниже работает, которая перемещается между всеми состояниями, чтобы найти ту, которая соответствует указанному номеру состояния и возвращает состояние.

class State a where 
    allStates :: [a] 

class (State a) => IntState a where 
-- starting from zero, consecutive             
    stateNo :: a -> Integer 

noToState :: (IntState a) => Integer -> a 
noToState n = case lookup n $ zip (map stateNo allStates) allStates of 
    Just st -> st 
    Nothing -> undefined -- this should never happen 

Однако он дает ошибку: Could not deduce (IntState a0) arising from a use of ‘stateNo’.

Так в коде, где я совершил ошибки? Как мне их исправить? Благодарю.

Answer 1

Изменить его на что-то вроде этого:

noToState :: (IntState a) => Integer -> a 
noToState n = case lookup n $ zip (map stateNo allSts) allSts of 
    Just st -> st 
    Nothing -> undefined -- this should never happen 
    where allSts = allStates 

Проблема заключается в том, что вы используете allStates дважды, и это может быть разные вещи