Example Programs in Tokaz Examples of what a hypothetical dependently typed language (Tokaz) might look like.