13 lines
183 B
Text
13 lines
183 B
Text
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
|