Let's see whether the type safety reveals possible bugs