Functional dependencies - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Asad Saeeduddin

When a particular type is determined via functional dependency rather than via type family, what's the equivalent of doing :kind! to force it?

Sandy Maguire

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 ()