simplApi checks that type parameter meets specified constraints