How to debug type-level programs
As has been mentioned in the comments, poking around with :kind and :kind! in GHCi is usually how I go about doing it, but it also surprisingly matters where you place the functions, and what looks like it should be the same, isn’t always. For instance, I was trying to make a dependently typed functor … Read more