template haskell Ppr missing parentheses for SigT
ppr (SigE (VarE (mkName "a")) (SigT (VarT (mkName "x")) (VarT (mkName "k"))))
prints as "a :: x :: k". Ghc can't parse that, so I think it should be printed as "a :: (x :: k)"
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information