class ~{className c} a where