Converting Haskell to Template Haskell: couldn't match expected type ExpQ

Question

I had the following Haskell code (just a fragment of all code, but works):

data ByteCode t where
    INT :: Int -> ByteCode Int
    BOOL:: Bool -> ByteC