Prefer full types in specs to enable metaprogramming