module T7321 where

import T7321a

foo :: Exp a
foo = error "urk"