typesafe demo