first steps playing with types