supertype on iOS with Appvalley