[Haskell] Eternal Compatibility In Theory

[robert dockins]

 >   Eternal Compatibility in Theory
 >   http://www.haskell.org/tmrwiki/EternalCompatibilityInTheory


Some thoughts:

Is there a way to reliably and automatically check if two versions of a 
haskell module are interface compatible?  This would greatly aid the 
process of deciding when to create a new numbered version of the module. 
  It would be interesting to see if this process could be 
(semi)automated using the darcs "trackdown" command with such a test.