12 lines
203 B
Text
12 lines
203 B
Text
data Either (a b) where
|
|
Left : a -> Either (a b)
|
|
Right : b -> Either (a b)
|
|
|
|
unwrap : Either (a a) -> a
|
|
unwrap x = case x of
|
|
Left y => y
|
|
Right y => y
|
|
|
|
main : Int
|
|
main = unwrap (Left 3)
|
|
|