fix predicates on monomorphic tycon