Fixed bug with 'module M : S with type t = t' = struct'