so again if I can annotate any arbitrary type that...
# multiplatform
e
so again if I can annotate any arbitrary type that structurally matches an expected declaration via a type alias, why was