fun dn [a] (_ : show a) (x : source a) : xbody = fun main () : transaction page = a <- source ""; b <- source True; c <- source "a@b"; d <- source ""; e <- source ""; f <- source ""; return

{dn a}; {dn b}; {dn c}; {dn d}; {dn e}; {dn f}