but we also defined it as a top-level type