Text this: Abstraktné typy a ich implementácia v procesnom funkcionálnom jazyku