It&#x27;s a tagged union. Sometimes the tag can be elided, sometimes not. If you did a direct cast, you&#x27;d lose the tag. More specifically though, layout is undefined, so you don&#x27;t know if the tag is first or last, strictly speaking.<p>Lints for unwrap already exist :)