int-e

import System.Random
import Control.Monad
import Data.List

z = False

cell ' ' = \(a, b, c, d) -> (a, b, c, d)
cell '↓' = \(a, b, _, _) -> (a, b, a, b)
cell '↑' = \(_, _, c, d) -> (c, d, c, d)
cell '→' = \(a, _, c, _) -> (a, a, c, c)

int-e

{-# LANGUAGE RecursiveDo #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE BlockArguments #-}

import Control.Monad
import Control.Monad.RWS
import Data.Monoid
import Data.List

------------------------------------------------------------------------------