Kind parsing seems to be failing
Template Haskell doesn't seem to be handling kinds right. Consider
test :: String test = $(do test <- [d| type family HTrieMapT :: (* -> (* -> * -> *)) -> (* -> *) -> * |] return (LitE (StringL (pprint test))))
What this actually outputs is
type family HTrieMapT :: (* -> ((* -> *) -> *) -> *) -> * -> *
which doesn't even seem close to the right kind.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information