import Data.Ratio
main :: IO ()
main = do
  mapM_ (print . map fromRational . 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 suite xxs = f xxs
  where
    f (x:xs) = let zs = foldr p (p x [1,1..]) xs in map (/ sum zs) zs
    f _      = []
    p x priors = zipWith (*) priors $ map (likelihood x) suite
    likelihood :: Integer -> Integer -> Ratio Integer
    likelihood x hypo = if hypo < x then 0 else 1 % hypo
 

aW1wb3J0IERhdGEuUmF0aW8KbWFpbiA6OiBJTyAoKQptYWluID0gZG8KICBtYXBNXyAocHJpbnQgLiBtYXAgZnJvbVJhdGlvbmFsIC4gZGljZVBvc3RlcmlvcnMgWzQsNiw4LDEyLDIwXSkKICAgICAgICBbWzZdLCBbNiw0LDgsNyw3LDIsNl0sIFs0LDgsNyw3LDIsNl0sIFs2LDgsNyw3LDUsNF1dCmRpY2VQb3N0ZXJpb3JzIDo6IFtJbnRlZ2VyXSAtPiBbSW50ZWdlcl0gLT4gW1JhdGlvIEludGVnZXJdCmRpY2VQb3N0ZXJpb3JzIHN1aXRlIHh4cyA9IGYgeHhzCiAgd2hlcmUKICAgIGYgKHg6eHMpID0gbGV0IHpzID0gZm9sZHIgcCAocCB4IFsxLDEuLl0pIHhzIGluIG1hcCAoLyBzdW0genMpIHpzCiAgICBmIF8gICAgICA9IFtdCiAgICBwIHggcHJpb3JzID0gemlwV2l0aCAoKikgcHJpb3JzICQgbWFwIChsaWtlbGlob29kIHgpIHN1aXRlCiAgICBsaWtlbGlob29kIDo6IEludGVnZXIgLT4gSW50ZWdlciAtPiBSYXRpbyBJbnRlZ2VyCiAgICBsaWtlbGlob29kIHggaHlwbyA9IGlmIGh5cG8gPCB4IHRoZW4gMCBlbHNlIDEgJSBoeXBvCg==