module A ( E ) where data E