fun main () : transaction page = return 3 = {cdata (show _ (readError _ "3" : int))}
12.12 = {cdata (show _ (readError _ "12.12" : float))}
Hi = {cdata (show _ (readError _ "Hi" : string))}
True = {cdata (show _ (readError _ "True" : bool))}