trying to figure out comonads.  they look like they might be useful for the wumpus domain.