type safe Get + test