Title: Recursive equivalence types
Subjects: Recursive functions, Recursieve functies