module T10997 where

import T10997a

foo :: Exp a -> String
foo Tru = "True"