haddock coverage for Identical