Singletons/T166.hs:0:0: error: Function being promoted to FooSym0 has too many arguments. | 14 | $(singletonsOnly [d| | ^^^^^^^^^^^^^^^^^^... Singletons/T166.hs:0:0: error: Q monad failure | 14 | $(singletonsOnly [d| | ^^^^^^^^^^^^^^^^^^...