Felix 107：多态性变体

一个基于Ocaml多态变体类型的高级灵活变体。