module T4239 where

import T4239A

v1 :: (:+++)
v1 = (:+++)

v2 :: (:+++)
v2 = X

v3 :: (:+++)
v3 = (:---)

v4 = (·)