Хаскелл. получение таких же соседей

Я студент cs, который недавно начал изучать Haskell. Я изо всех сил пытался найти способ интерпретировать на Haskell, но пока не мог. Мне нужна помощь. Вот объяснение. Есть три типа контента.

type Coord = (Int, Int)

-- Type-definition of a Cell: it is just a coordinate and an optional 
AgentType.
-- Note: the agent type is optional and is Nothing in case the cell is 
empty.

type Cell = (Coord, Maybe AgentType)

-- data definition for the agent types
  data AgentType 
    = Red       -- ^ Red agent
    | Green     -- ^ Green agent
    | Blue      -- ^ Blue agent
    deriving (Eq, Show) -- Needed to compare for equality, otherwise would need to implement by ourself

Каждая ячейка имеет либо содержимое (может быть красным, зеленым или синим), либо пустое. Я пытаюсь найти соседей, у которых одинаковый контент со всех сторон, включая диагональные пути, которых всего 8. Если 40% соседей ячейки совпадают с ячейкой, вернуть true.

-- Returns True if an agent on a given cell is happy or not
isHappy :: Double  -- ^ The satisfaction factor
    -> [Cell]  -- ^ All cells
    -> Cell    -- ^ The cell with the agent
    -> Bool    -- ^ True in case the agent is happy, False otherwise

isHappy ratio cs c
    | ratio < 0.4 = False
    | otherwise = True
    where
    moore = [(x-1,y-1),(x-1,y),(x-1,y+1),(x,y+1),(x+1,y+1),(x+1,y),(x+1,y-1),(x,y-1)]
    -- here is where I got stuck

Я составил список «Moore», который содержит все направления, но я не уверен, как сравнивать «Cell» с «Neighbours [Cell]». Моя мысль следует на другом языке программирования,

if (TheCell[X-1,Y] == TheCell)){
    stack ++;
    }
 ...
 ...
 ratio = stack / len(8);

Я искал, как интерпретировать в Haskell, но пока не нашел. Может быть, мой мыслительный процесс неверен. Пожалуйста, помогите мне в любом случае