Instanciation with extended types.