value = value where b = case x of x -> x y -> y a :: b a = 3 value = value where b = case x of x -> x y -> y a :: b a = 3