More typesafe code in Implementation