data Two where
    This : Two
    That : Two 

main = reval (eval This)

eval x = case x of
    That => That
    This => eval That

reval x = case x of
   This => 123 
   That => 123