baihacker's birthday invitation contest

B: Type Derivation