import Data.Map as Map ( Map, (!) )

import Data.Map as Map ( Map, (!), filterWithKey, keys )

      gTPS = 10 ,

      gTPS = 3 ,

   units = replicate 4 Wall <> replicate 6 Box

   units = replicate 4 Wall <> replicate 6 Box { pushed = Nothing }

data Unit = None | Wall | Box | Robot { name :: String , ops :: [Op] }

data Unit = None | Wall | Box { pushed :: Maybe Dir } | Robot { name :: String , ops :: [Op] }

      | Box {} <- a = pushed a

      | Box {} <- a = True

      | Just (q,_) <- dequeue $ snd $ input s , k == q = input s

   -- | Just (q,_) <- dequeue $ snd $ input s , k == q = input s

      | Just 'H' <- k = z { center = shift v 1 H $ center s }
      | Just 'J' <- k = z { center = shift v 1 N $ center s }
      | Just 'K' <- k = z { center = shift v 1 I $ center s }

      | Just 'H' <- k = z { center = shift v 1 H $ center s } | Just 'J' <- k = z { center = shift v 1 N $ center s } | Just 'K' <- k = z { center = shift v 1 I $ center s }

   | Box      <- a = 'o'

   | Box {}   <- a = 'o'

   | None     <- a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
   | Wall     <- a = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999
   | Box      <- a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666
   | Robot {} <- a , "@"   <- name a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666

   | Nothing  <- move a = rgbColor $ sRGB24 0x66 0x66 0x66  -- #666666

   | otherwise = rgbColor $ sRGB24 0x66 0x66 0x66

   | otherwise = rgbColor $ sRGB24 0x99 0x99 0x99  -- #999999

-- | Box {} <- u , Just _ <- pushed u = u { pushed = Nothing }
   | Box {} <- u = u { pushed = push }

   push
      | [d] <- Map.keys $ Map.filterWithKey (\k w -> move w == Just (opposite k)) ns = Just $ opposite d
      | otherwise = Nothing

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
{-# HLINT ignore "Redundant <$>" #-}

      ns :: Map Dir a