An Objective-C future implementation that aims to provide maximal type safety - View it on GitHub