A simple haskell evaulator for kripke models