specify template arguments for constructors for `PlatformsBaton`