Not OP but check out type driven development - there’s a few great F# blogs on the topic and a book on Idris if you want to go further