module Main where
import Text.Show.Functions



data Grafo1 a = GVacio  |   Nodo a (Grafo1 a)  |   Arco a a (Grafo1 a)
data Grafo2 a= G2 [a] [(a,a)]  deriving Show




-- union:: Grafo1 a -> Grafo2 a -> Grafo1 a

main :: IO ()
main = return ()


treeFC :: Int -> Grafo1 Int
treeFC 0 = GVacio
treeFC n = auxtreeFC 1 (2^n-1) (Nodo 1 GVacio)

auxtreeFC:: Int -> Int -> Grafo1 Int -> Grafo1 Int
auxtreeFC x y g = if (2*x>y) then g
              else Arco x y (auxtreeFC x (y-1) g)