validate

val validate: (S) -> Result<Unit>