* Working on an initial type class