example of using shapeless to verify error handling in unit tests