a :: () ':- ()