add another test for type-safety following the example of @travisbrown