Type Ruminations - Developing functions 3, 5 and 7 + integration