type <Variant> = | <Tag> [ of <type> [ * <type> ].. ] | <Tag> [ of <type> [ * <type> ].. ] Polymorphic Variants Starts with a backtick Types are inferred automatically