Module Mylib.G

include module type of F
module type A = sig ... end
module N : A