Title: Recursive modules for programming