On 4/03/16 4:04 am, Kristoffer Føllesdal wrote: > I want a function fun :: q -> Either a b where q is of type a or b. fun shall work in the following way > > fun x gives Left x if x :: a > fun x gives Right x if x :: b What does "fun 0 :: Either Int Int" do?