value4, @@@,
 value6 :: () -> () -> ()

value4 _ _ = ()
_ @@@ _ = ()
value6 _ _ = ()