Tinkering with the types