Separated the types
Towards a typechecked add coins routine