Add a note saying what Haddock relies on about Instance.is_dfun