Re: type checking for arbitrary lisp objects

[Roland Winkler]

On Fri Apr 11 2014 Stefan Monnier wrote:
> AFAIK cl-deftype is specifically there to define those patterns, so you
> can later pass them to cl-check-type.

I begin to understand how this is supposed to work.  Is it also
possible to define more complex types recursively, similar to `list'
and `repeat' used by defcustom's :type keyword?  My complete
knowledge about these cl functions is based on their info page,
which is somewhat brief.

Thanks.