f45f5ca7 ​

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