Static Type Signature Syntax for a Lisp

How would you implement it without breaking homoiconicity?

>>4

Common Lisp always returns multiple values, hence the values form. I'm not sure what the rationale for the ftype is.

Also you shouldn't be declaring types all over the place.