adam@1730: datatype t = T of variant [A = t] adam@1730: adam@1730: fun main (x : t) : transaction page = return adam@1730: Go adam@1730: