Title: Inductively defined functions in functional programming languages