[Haskell] Eternal Compatibility In Theory