hdiff
packages
feed
dhall-toml
-1.0.0: tasty/data/union-nested.dhall
let U = <A : {} | B : Natural > in { recs = [ U.A {=} ] , nats = [ U.B 1 ] }