I see a few pages where "polymorphic variants" are mentioned [1], where it says, "We will learn more about polymorphic variants later". I see no further discussion of them however. Does Nemerle support polymorphic variants? If not, perhaps that line should be revised to indicate so. Sandro [1] http://nemerle.org/Grok_Variants_and_matching