Added (`A ..) syntax for polymorphic variant constructor as a function