Warn on uses of Rank2Types
Long ago we deprecated Rank2Types
in favor of RankNTypes
. However, strangely, we don't appear to warn in this case. This should be fixed.
Long ago we deprecated Rank2Types
in favor of RankNTypes
. However, strangely, we don't appear to warn in this case. This should be fixed.