trivial type check