[Haskell] CFP: Computational Models of Scientific Reasoning and Applications (CMSRA-IV)