Implement TypeAliases

    shared alias X => Y|Z;