fun 0 = 'a'
fun _ = fun 0