add validation test

[fumieval]

Summary

Checklist

• [ ] All definitions are documented with Haddock-style comments.
• [ ] All exported definitions have @since annotations.
• [ ] Code is formatted in line with the existing code.
• [ ] The changelog has been updated.

[fumieval]

Sorry, I posted this PR to a wrong destination :/