Finer grained coaercions.