Note implementative Dynamic Typing -> ???? output ocaml types directly -> GADs value subtype of expr -> polymorphic variants