import Data.Ratio
 
main :: IO ()
main = do
  print $ dicePosteriors [6] [6]
  mapM_ (print . map fromRational . flip dicePosteriors [4,6,8,12,20])
        [[6], [6,4,8,7,7,2,6], [4,8,7,7,2,6], [6,8,7,7,5,4]]
 
dicePosteriors :: [Integer] -> [Integer] -> [Ratio Integer]
dicePosteriors xxs suite = f xxs
  where
    f (x:xs) = g (p x [1,1..]) xs
      where
        g ys []     = ys
        g ys (h:t) = g (p h ys) t
    p x priors = map (/ n) zs
      where
        n  = sum zs
        zs = zipWith (*) priors ls
        ls = map (likelihood x) suite
 
    likelihood :: Integer -> Integer -> Ratio Integer
    likelihood x hypo
      | hypo < x  = 0
      | otherwise = 1 % hypo
 

aW1wb3J0IERhdGEuUmF0aW8KCm1haW4gOjogSU8gKCkKbWFpbiA9IGRvCiAgcHJpbnQgJCBkaWNlUG9zdGVyaW9ycyBbNl0gWzZdCiAgbWFwTV8gKHByaW50IC4gbWFwIGZyb21SYXRpb25hbCAuIGZsaXAgZGljZVBvc3RlcmlvcnMgWzQsNiw4LDEyLDIwXSkKICAgICAgICBbWzZdLCBbNiw0LDgsNyw3LDIsNl0sIFs0LDgsNyw3LDIsNl0sIFs2LDgsNyw3LDUsNF1dCgpkaWNlUG9zdGVyaW9ycyA6OiBbSW50ZWdlcl0gLT4gW0ludGVnZXJdIC0+IFtSYXRpbyBJbnRlZ2VyXQpkaWNlUG9zdGVyaW9ycyB4eHMgc3VpdGUgPSBmIHh4cwogIHdoZXJlCiAgICBmICh4OnhzKSA9IGcgKHAgeCBbMSwxLi5dKSB4cwogICAgICB3aGVyZQogICAgICAgIGcgeXMgW10gICAgID0geXMKICAgICAgICBnIHlzIChoOnQpID0gZyAocCBoIHlzKSB0CiAgICBwIHggcHJpb3JzID0gbWFwICgvIG4pIHpzCiAgICAgIHdoZXJlCiAgICAgICAgbiAgPSBzdW0genMKICAgICAgICB6cyA9IHppcFdpdGggKCopIHByaW9ycyBscwogICAgICAgIGxzID0gbWFwIChsaWtlbGlob29kIHgpIHN1aXRlCgogICAgbGlrZWxpaG9vZCA6OiBJbnRlZ2VyIC0+IEludGVnZXIgLT4gUmF0aW8gSW50ZWdlcgogICAgbGlrZWxpaG9vZCB4IGh5cG8KICAgICAgfCBoeXBvIDwgeCAgPSAwCiAgICAgIHwgb3RoZXJ3aXNlID0gMSAlIGh5cG8K