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?
:kind!
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 :: ()
()
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 thenblah @something :: ()
and ghc will probably complain that the forced rhs is not()