Tiny example of composable functional validators