| Terra  <- algo s = terra 1 s
      | Terr2  <- algo s = terra 2 s
      | Waves  <- algo s = waves s
      | Pulse  <- algo s = pulse s
      | Dois   <- algo s = dois s
      | Bees   <- algo s = bees s
      | Fish   <- algo s = gene [2] [2] 3 s
      | Fish2  <- algo s = gene [2,4] [2,4] 3 s
      | Glider <- algo s = gene [1,3,4] [2,3,4,5] 5 s

      | Terra  <- algo s = terra 1 ()
      | Terr2  <- algo s = terra 2 ()
      | Waves  <- algo s = waves ()
      | Pulse  <- algo s = pulse ()
      | Dois   <- algo s = dois ()
      | Bees   <- algo s = bees ()
      | Fish   <- algo s = gene [2] [2] 3 ()
      | Fish2  <- algo s = gene [2,4] [2,4] 3 ()
      | Glider <- algo s = gene [1,3,4] [2,3,4,5] 5 ()

import Nove.Verse

import Nove ( Cell )

terra :: (Eq a, Enum a, Ord a, Bounded a) => Int -> (Dir -> a) -> a -> a
terra x ns a

terra :: (Eq a, Enum a, Ord a, Bounded a) => Int -> Cell () a
terra x () ns a

waves :: (Eq a, Enum a, Bounded a) => (Dir -> a) -> a -> a
waves ns a

waves :: (Eq a, Enum a, Bounded a) => Cell () a
waves () ns a

pulse :: (Enum a, Bounded a, Ord a) => (Dir -> a) -> a -> a
pulse ns a = prev $ maximum $ ns <$> total

pulse :: (Enum a, Bounded a, Ord a) => Cell () a
pulse () ns a = prev $ maximum $ ns <$> total

dois :: (Eq a, Enum a, Bounded a, Ord a, Num a) => (Dir -> a) -> a -> a dois ns a

dois :: (Eq a, Enum a, Bounded a, Ord a, Num a) => Cell () a
dois () ns a

bees :: (Eq a, Enum a, Bounded a, Ord a) => (Dir -> a) -> a -> a
bees ns a

bees :: (Eq a, Enum a, Bounded a, Ord a) => Cell () a
bees () ns a

gene :: (Enum a, Bounded a, Ord a) => [Int] -> [Int] -> Int -> (Dir -> a) -> a -> a
gene survive born n ns a

gene :: (Enum a, Bounded a, Ord a) => [Int] -> [Int] -> Int -> Cell () a
gene survive born n () ns a