Add generic (polymorphic + transformer) construction.