trying to prove type safety