(define sixhat
  (λ (dave)
    (display 'ideas)))