(define-type filename string) (define-type extension string) (define-type dirname string) (define-type basename string) (define-type pathname string)