module T4239 where import T4239A v1 :: (:+++) v1 = (:+++) v2 :: (:+++) v2 = X v3 :: (:+++) v3 = (:---)