Question: This recursive definition of T fails to type-check. Specific error: Why is GHC unable to do this? Is there a workaround? The real class/instance looks like this: This says that “the route for a multisite is an n-ary product ...
Question: Is it possible to construct a kind level identity which maps a kind a to the same kind a in haskell ? Here are some non-answers : Answer: Currently the type language is first-order, meaning unmatchable functions like Id ...