Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
When a particular type is determined via functional dependency rather than via type family, what's the equivalent of doing :kind! to force it?
there isn't one afaik
well i suppose you could do blah :: MyFunDep a b => b and then blah @something :: () and ghc will probably complain that the forced rhs is not ()
blah :: MyFunDep a b => b
blah @something :: ()