🚧 This post is under construction. 🚧 Error about catch is not exhaustive.