value = ()
  where
    fun 0 = 'a'
    fun _ = fun 0