Mutual recursion composable function composition