Recursive algebraic data types

I would like to create e.g. a linked list.
But the following doesn't work:

```
data LinkedList a:Type =
Nil
Cons val:a tail:LinkedList

:p Cons 1 Nil
```

the declaration gives a
```
Error: variable not in scope: LinkedList

Cons val:a tail:LinkedList
^^^^^^^^^^
```