sanity tests for type convenience methods