Despot is now a lot more typesafe.