Type level programming: Dealing with ambiguous type error

Right, RequiredTypeArguments doesnt allow you to do that. It’s just syntax. What will allow you to do that is forall ->. I’ve no idea how long through the development pipeline that is. And in the meantime, the library feature that supports this functionality is singletons (whether with the singletons package specifically, or with the general notion).