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