playing with typekinds