A model of human physiological systems written in Haskell