Rawwrr, use dependent types and write your entire program in the signature!