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 ""; g <- source 1.0; h <- source 1.0; i <- source "#CCCCCC"; j <- source "2014/11/16"; k <- source "2014/11/16 12:30:45"; l <- source "2014/11/16 12:30:45"; m <- source "2014/11"; n <- source "2014-W7"; o <- source "12:30:45"; return
{dn a}; {dn b}; {dn c}; {dn d}; {dn e}; {dn f}; {dn g}; {dn h}; {dn i}; {dn j}; {dn k}; {dn l}; {dn m}; {dn n}; {dn o}