-- What is the Genotype of a child whose parents are a = "Aa" b = "AA"?
-- (as a probability distribution)

parentsA, parentsB :: (Genotype, Genotype)
parentsA = undefined
parentsA, parentsB :: (Genotype, Genotype)
parentsA = undefined
parentsA = undefined