The following example leads to an assertion from printtyp.ml when loaded in utop. I made the example as small as I could, but unfortunately it still depends on a package called Future which in turn depends on Core.To run it you'll have to do:$ opam pin add future https://github.com/agarwal/futureThen hit Y to install the package.$ cat tmp.mlopen Future_stdlet f items =Pipe.peek_deferred items >>= function| `Comment _ -> return ()#require "future.std";;# #use "tmp.ml";;Fatal error: exception "Assert_failure typing/printtyp.ml:583:12"Raised at file "bytes.ml", line 220, characters 25-34Doing the equivalent in the standard ocaml toploop or compiling with ocamlc/ocamlopt doesn't exhibit this assertion. You correctly get the real error reported:$ ocamlfind ocamlc -package future.std -thread tmp.mlFile "tmp.ml", line 5, characters 4-14:Error: This pattern matches values of type [? `Comment of 'a ]but a pattern was expected which matches values of type('b Future_std.Deferred.t as 'b) Future_std.Deferred.tThe second variant type does not allow tag(s) `CommentThe assertion is also avoided if you replace `open Future_std` with a copy/paste of the relevant part of Future_std.