d90796e8 ​

input = fill #0 (fill #1 black) |> fold rect #2
output = fill #0 (fill #1 black) |> fold (λr. rect ((r.2, r.3, r.2, r.3), r.1)) #3
(VInt, HInt, UList ((VInt, HInt, VInt, HInt), Color), UList (Color, VInt, HInt))
(3v, 3h, {((3v, 2h, 3v, 2h), grey), ((1v, 2h, 1v, 2h), red), ((1v, 1h, 1v, 1h), green)}, {(grey, 3v, 2h), (teal, 1v, 1h)})
(7v, 6h, {((6v, 1h, 6v, 1h), grey), ((4v, 6h, 4v, 6h), red), ((1v, 1h, 1v, 1h), grey), ((6v, 4h, 6v, 4h), green), ((5v, 2h, 5v, 2h), red), ((4v, 2h, 4v, 2h), green), ((2v, 4h, 2v, 4h), red), ((2v, 3h, 2v, 3h), green)}, {(grey, 6v, 1h), (red, 4v, 6h), (grey, 1v, 1h), (green, 6v, 4h), (teal, 4v, 2h), (teal, 2v, 3h)})
(7v, 7h, {((7v, 4h, 7v, 4h), grey), ((6v, 1h, 6v, 1h), green), ((3v, 1h, 3v, 1h), grey), ((2v, 7h, 2v, 7h), green), ((2v, 1h, 2v, 1h), green), ((1v, 7h, 1v, 7h), black), ((1v, 6h, 1v, 6h), red), ((6v, 6h, 6v, 6h), green), ((6v, 2h, 6v, 2h), red), ((5v, 6h, 5v, 6h), red), ((3v, 4h, 3v, 4h), green), ((3v, 3h, 3v, 3h), red)}, {(grey, 7v, 4h), (teal, 6v, 1h), (grey, 3v, 1h), (green, 2v, 7h), (green, 2v, 1h), (black, 1v, 7h), (red, 1v, 6h), (teal, 6v, 6h), (teal, 3v, 4h)})
(7v, 9h, {((7v, 8h, 7v, 8h), red), ((7v, 6h, 7v, 6h), grey), ((7v, 2h, 7v, 2h), green), ((7v, 1h, 7v, 1h), grey), ((5v, 1h, 5v, 1h), grey), ((4v, 9h, 4v, 9h), red), ((1v, 9h, 1v, 9h), grey), ((1v, 5h, 1v, 5h), red), ((6v, 8h, 6v, 8h), green), ((5v, 4h, 5v, 4h), red), ((4v, 5h, 4v, 5h), grey), ((3v, 2h, 3v, 2h), green), ((2v, 8h, 2v, 8h), red), ((2v, 7h, 2v, 7h), green), ((2v, 2h, 2v, 2h), red)}, ?)