Functional language notation