15 lines
200 B
Text
15 lines
200 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
|
|
|
|
-- test comment
|