11e1fe23 ​

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