37d3e8b2 ​

input = fill #0 (fill #1 black) |> fold (λr. rect (r, teal)) #2 |> fold rect #3
output = fill #0 (fill #1 black) |> fold (λr. rect (r, #4)) #5 |> fold (λr. rect ((r.2, #6, r.3, r.4), r.1)) #7 |> fold (λr. rect (r, #8)) #9 |> fold rect #3
(VInt, HInt, UList (VInt, HInt, VInt, HInt), UList ((VInt, HInt, VInt, HInt), Color), Color, UList (VInt, HInt, VInt, HInt), HInt, UList (Color, VInt, VInt, HInt), Color, UList (VInt, HInt, VInt, HInt))
(19v, 17h, {(14v, 12h, 18v, 15h), (11v, 4h, 15v, 7h), (10v, 10h, 12v, 16h), (4v, 6h, 8v, 12h), (2v, 2h, 5v, 4h)}, {((17v, 13h, 17v, 13h), black), ((15v, 13h, 15v, 14h), black), ((13v, 5h, 13v, 5h), black), ((11v, 14h, 11v, 15h), black), ((11v, 11h, 11v, 12h), black), ((7v, 9h, 7v, 9h), black), ((6v, 7h, 6v, 7h), black), ((5v, 11h, 6v, 11h), black), ((3v, 3h, 3v, 3h), black)}, red, {(14v, 12h, 18v, 15h), (10v, 10h, 12v, 16h)}, 6h, {(green, 4v, 8v, 12h)}, blue, {(11v, 4h, 15v, 7h), (2v, 2h, 5v, 4h)})
(17v, 17h, {(13v, 10h, 17v, 16h), (13v, 2h, 16v, 6h), (8v, 12h, 11v, 15h), (7v, 6h, 11v, 9h), (2v, 12h, 6v, 16h), (2v, 3h, 5v, 8h)}, {((16v, 11h, 16v, 11h), black), ((15v, 13h, 15v, 13h), black), ((14v, 15h, 15v, 15h), black), ((14v, 11h, 14v, 11h), black), ((15v, 3h, 15v, 3h), black), ((14v, 5h, 14v, 5h), black), ((10v, 8h, 10v, 8h), black), ((9v, 13h, 9v, 14h), black), ((8v, 7h, 8v, 8h), black), ((5v, 13h, 5v, 13h), black), ((4v, 15h, 4v, 15h), black), ((3v, 13h, 3v, 13h), black), ((3v, 7h, 3v, 7h), black), ((3v, 4h, 4v, 5h), black)}, orange, {(13v, 10h, 17v, 16h)}, 12h, {(blue, 8v, 11v, 15h), (green, 2v, 6v, 16h)}, red, {(13v, 2h, 16v, 6h), (7v, 6h, 11v, 9h), (2v, 3h, 5v, 8h)})
(17v, 16h, {(13v, 11h, 17v, 16h), (8v, 3h, 16v, 7h), (4v, 9h, 8v, 14h), (2v, 2h, 6v, 7h)}, {((16v, 14h, 16v, 15h), black), ((16v, 12h, 16v, 12h), black), ((14v, 14h, 14v, 14h), black), ((14v, 12h, 14v, 12h), black), ((15v, 5h, 15v, 6h), black), ((13v, 4h, 13v, 4h), black), ((10v, 6h, 11v, 6h), black), ((9v, 4h, 10v, 4h), black), ((7v, 11h, 7v, 12h), black), ((5v, 13h, 5v, 13h), black), ((5v, 10h, 5v, 11h), black), ((5v, 6h, 5v, 6h), black), ((3v, 6h, 3v, 6h), black), ((3v, 3h, 4v, 4h), black)}, orange, {(13v, 11h, 17v, 16h)}, 3h, {(orange, 8v, 16v, 7h)}, green, {(4v, 9h, 8v, 14h), (2v, 2h, 6v, 7h)})
(17v, 18h, {(1v, 3h, 4v, 7h), (12v, 2h, 16v, 8h), (8v, 11h, 16v, 17h), (7v, 3h, 9v, 6h), (2v, 9h, 6v, 15h)}, {((2v, 6h, 2v, 6h), black), ((2v, 4h, 3v, 4h), black), ((15v, 6h, 15v, 6h), black), ((14v, 14h, 15v, 15h), black), ((13v, 3h, 14v, 4h), black), ((12v, 12h, 13v, 12h), black), ((10v, 15h, 11v, 16h), black), ((9v, 12h, 9v, 13h), black), ((8v, 4h, 8v, 5h), black), ((5v, 10h, 5v, 11h), black), ((3v, 13h, 4v, 14h), black), ((3v, 10h, 3v, 10h), black)}, ?, ?, ?, ?, ?, ?)