Add a comment about pattern coercions