haddocks: restrictive -> restricted when talking about type signatures