newtype Prob a = Prob { getProb :: [(a,Rational)] } deriving (Show,Eq,Functor)flatten :: Prob (Prob a)