A1.hs.expected

module Renaming.A1 where

import Renaming.B1
import Renaming.C1
import Renaming.D1

main :: AnotherTree Int ->Bool
main t = isSame (sumSquares (fringe t))
               (sumSquares (Renaming.B1.myFringe t)+sumSquares (Renaming.C1.myFringe t))