baf41dbf ​

input = fill #0 (fill #1 black) |> rect (#2, green) |> fold (λr. rect ((r.1, r.2, r.1, r.2), fuschia)) #3 |> fold (λr. rect (r, black)) #4
output = fill #0 (fill #1 black) |> rect ((#7.1, #5.1, #5.2, #5.3), green) |> fold (λr. rect ((r.1, r.2, r.1, r.2), fuschia)) #6 |> fold (λr. rect ((#7, r.1, #8, r.2), #9)) #10 |> fold (λr. rect ((#2.1 + 1, r.1, #11, r.2), black)) #12
(VInt, HInt, (VInt, HInt, VInt, HInt), UList (VInt, HInt), UList (VInt, HInt, VInt, HInt), (HInt, VInt, HInt), UList (VInt, HInt), VInt, VInt, Color, UList (HInt, HInt), VInt, UList (HInt, HInt))
(8v, 17h, (2v, 2h, 5v, 7h), {(7v, 5h), (3v, 12h)}, {(3v, 5h, 4v, 6h), (3v, 3h, 4v, 3h)}, (2h, 6v, 11h), {(7v, 5h)}, 3v, 3v, fuschia, {(12h, 12h)}, 5v, {(5h, 10h), (3h, 3h)})
(11v, 15h, (3v, 5h, 5v, 7h), {(10v, 6h), (4v, 2h)}, {(4v, 6h, 4v, 6h)}, (3h, 9v, 7h), {(10v, 6h)}, 4v, 4v, fuschia, {(2h, 2h)}, 8v, {(4h, 6h)})
(15v, 15h, (4v, 5h, 8v, 10h), {(15v, 8h), (7v, 2h), (5v, 13h)}, {(7v, 9h, 7v, 9h), (7v, 6h, 7v, 7h), (5v, 9h, 5v, 9h), (5v, 6h, 5v, 7h)}, (3h, 14v, 12h), {(15v, 8h), (7v, 2h), (5v, 13h)}, 7v, 13v, black, {(9h, 11h), (4h, 7h)}, 5v, {(9h, 11h), (4h, 7h)})
(16v, 17h, (3v, 6h, 8v, 8h), {(13v, 7h), (12v, 14h), (5v, 2h)}, {(7v, 7h, 7v, 7h), (4v, 7h, 5v, 7h)}, (?, ?, ?), ?, ?, ?, ?, ?, ?, ?)