Student Project: Type Dichotomy