cbded52d ​

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