Maybe we should define this type in a separate file that's not named platform-specifically.