El tipo de los árboles binarios

        5
       / \
      /   \
     3     7
    / \   / \
   1   4 6   9

   ejArbol = Nodo (Nodo (Hoja 1) 3 (Hoja 4))
                  5
                  (Nodo (Hoja 6) 7 (Hoja 9))

   data Arbol = Hoja Int
              | Nodo Arbol Int Arbol

   ocurre :: Int -> Arbol -> Bool
   aplana :: Arbol -> [Int]

     ocurre 4  ejArbol  ==  True
     ocurre 10 ejArbol  ==  False

     aplana ejArbol  ==  [1,3,4,5,6,7,9]

data Arbol = Hoja Int
           | Nodo Arbol Int Arbol
 
ejArbol :: Arbol
ejArbol = Nodo (Nodo (Hoja 1) 3 (Hoja 4))
               5
               (Nodo (Hoja 6) 7 (Hoja 9))
 
ocurre :: Int -> Arbol -> Bool
ocurre m (Hoja n)     = m == n
ocurre m (Nodo i n d) = m == n || ocurre m i || ocurre m d
 
aplana :: Arbol -> [Int]
aplana (Hoja n)     = [n]
aplana (Nodo i n d) = aplana i ++ [n] ++ aplana d

from dataclasses import dataclass
 
@dataclass
class Arbol:
    pass
 
@dataclass
class Hoja(Arbol):
    x: int
 
@dataclass
class Nodo(Arbol):
    i: Arbol
    x: int
    d: Arbol
 
ejArbol = Nodo(Nodo(Hoja(1), 3, Hoja(4)),
               5,
               Nodo(Hoja(6), 7, Hoja(9)))
 
def ocurre(m: int, a: Arbol) -> bool:
    match a:
        case Hoja(n):
            return m == n
        case Nodo(i, n, d):
            return m == n or ocurre(m, i) or ocurre(m, d)
    assert False
 
def aplana(a: Arbol) -> list[int]:
    match a:
        case Hoja(n):
            return [n]
        case Nodo(i, n, d):
            return aplana(i) + [n] + aplana(d)
    assert False