You don't need general case for testing. Use quasiquotes + manual calls to typecheck before passing to ctfe implementation.