'(# #) :: (# #)
= '(# #)
'() :: ()
= '()