module T10618 where foo = Just $ Nothing <|> Nothing