forall( type T ) T id( T );
int main() {}