Few snippets that show how we can leverage Java's type system to prove program correctness at compile time.