Rejig the way in which generic default method signatures are checked