For a good talk that discusses the boundaries of unit tests and the type system and how they overlap (or don't) I can highly recommend this video:

https://www.destroyallsoftware.com/talks/ideology