e7a25a18 ​

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