Який зміст має тип змінної?

Типова змінна використовується у визначенні типу алгебри даних подібно до того, як використовується параметр у визначенні функції, але використовується для передачі типу даних без передачі самих даних.