``` paraLista :: Matriosca -> [Cor] paraLista (M a Nothing) = [a] paraLista (M a b) = case b of Just b -> a:paraLista b Nothing -> [a] ```