Simple code for a type safe world by Jan Christopher Vogt