An effect system could gelp us reason about code by making calls to panic-capable functions marked as such. Maybe we could mark some types as panic unsafe?

That's literally what returning optional does.

Effect systems usually fail because effects are very different from each other and can't be generalised.