recursive structures

Stream: lean4

[Yuri de Wit]

I understand, based on the docs, that structures are not recursive, but I wonder why something like this is not allowed:

structure Value where
  data : Float
  prev : Option (Value × Value)

I get the following error: unknown identifier 'Value'

At least there is a non-recursive path here.