module X : MyMod = A 
include (X : MyMod)