-- Aa, Aa

-- Okay, what is the Genotype of the child of the children of parents A and B?
-- That is to say, the grandchild of parentsA and parentsB?
 
-- Hm, how would you define that, as the parents are now the children who
-- are probability distributions. How do we call cross not with plain genotypes,
-- but with probability distribuions?

-- What is the probability that this grandchild is purely recessive? (aa)
-- What is the probability that this grandchild is purely dominant? (AA)

-- Taking a leaf from the flipThree example from Data.Probability:

-- Let's say the parents have two children each (total of four children)
-- And let's say those children marry (no incest) and let's say those new
-- parents have two children each.

-- 1. How many grandchildren are there?

-- What is the probability that 1 or more of the children is mixed (Aa)?

-- What is the probability that 2 or more of the children are mixed?

atLeast :: Eq a => Prob a -> a -> Int -> Int -> Rational
atLeast distribution outcome k n = undefined
atLeast :: Eq a => Prob a -> a -> Int -> Int -> Rational
atLeast distribution outcome k n = undefined
atLeast distribution outcome k n = undefined