Propagating runtime configuration values through the Haskell type system (cs.rutgers.edu)