Structural types in general. Frees the tutorial of clutter. I think I could like this structure.