mangoiv, Aha just had a realization; Type parameters in Haskell, if they decide something that is in some Quote m has to be provided before splicing. This seems pretty obvious if you think about it for more than two seconds but I was puzzled as my normal assumption is always “well this information is available at compile time” so I guess what you wanna do is to have an argument that consists of something that carries the type for what needs it in the Quote m and then you pass your other “runtime” argument quoted… this is unfortunate because it means that there’s so much syntactic overhead involved :(