Title: Statically typed friendly functions via partially abstract types
Subjects: Type theory