A pretty decent solution for the Expression Problem using Swift: https://www.youtube.com/watch?v=EsanJ7_U89A

We use this pretty effectively in our iOS app to model and implement Effect types in a functional core / imperative shell architecture.