================================================================================
default: default decl
================================================================================

default ()
default (A, A :: A)

--------------------------------------------------------------------------------

(haskell
  (declarations
    (default_types)
    (default_types
      (name)
      (signature
        (name)
        (name)))))
