expandUnfolding_maybe _                                                       = Nothing
expandUnfolding_maybe _                                                       = Nothing
expandUnfolding_maybe _                                                       = Nothing