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