ramntry

import Control.Monad.State
import qualified Data.Map as Map

recall :: Ord a => a -> State (Map.Map a r) (Maybe r)
recall n = do
  memory <- get
  return (Map.lookup n memory)

memorize :: Ord a => a -> r -> State (Map.Map a r) ()
memorize n result = do