@@type@@
Nothing.
@@nom@@
Head
Nothing.