[8n4vidtmkvmk]

more or less. i wasn't asked n queens specifically, but i was asked to move a knight from one square to another. but no, you're not supposed to solve it using the type system itself