D0 D1 {d11 = Just 'p', d12 = D0} D1 {d11 = (3,0.14), d12 = D0}