module Foo = struct
  type blah
  type bar

  type 'a foo =
    | Blah : int  -> blah foo
    | Bar : int -> bar foo
end


module Bar = struct
  include Foo

  let f = function
    | Bar x -> x

end