==============
Introduction
==============

--------------
Introduction
--------------

* :ada:`'Class` operator to categorize :dfn:`classes of types`
* Type classes allow dispatching calls

   - Abstract types
   - Abstract subprograms

* Runtime call dispatch vs compile-time call dispatching

