Typed::Scala