supertypeOf
fix type arg name