A simple, composable way to validate the structure of data.