If I had a type