hmm but say i manage to write a fuction that works to check the suggestion, i can't implement it into the tuple so that it matches with the type signature...
i.e. in the step function,
step :: CluedoGame -> (Maybe (Player, Action), Maybe (PlayerID,Card), Maybe CluedoGame)
I can't...