ยท
You know pattern matching, but did you know that you can use the variable it introduces in the same boolean expression?
If you check whether the instance '๐จ๐๐ฃ๐๐๐ญ' is of type '๐๐ญ๐ซ๐ข๐ง๐ ' with '๐จ๐๐ฃ๐๐๐ญ ๐ข๐ง๐ฌ๐ญ๐๐ง๐๐๐จ๐ ๐๐ญ๐ซ๐ข๐ง๐ ๐ฌ',
you can start using '๐ฌ' straight away, for example to check whether it's non-empty with '&& !๐ฌ.๐ข๐ฌ๐๐ฆ๐ฉ๐ญ๐ฒ()'.
This works in '๐ข๐' statements in ๐๐๐ฏ๐ ๐๐ and in '๐ฌ๐ฐ๐ข๐ญ๐๐ก' as a preview in ๐๐๐ฏ๐ ๐๐.