TH_StaticPointers02.hs:11:34: static forms cannot be used in splices: static 'a' In the untyped splice: $(case staticKey (static 'a') of { Fingerprint w0 w1 -> let w0i = ... .... in [| fmap (\ p -> ...) $ unsafeLookupStaticPtr $ Fingerprint (fromIntegral w0i) (fromIntegral w1i) |] })