ddf7fa4f ​

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