typesafe examples.