Experimenting with a more type safe Code