Relativistic programming in GHC Haskell - View it on GitHub