:4:9: Warning: Couldn't match type `[Dec]' with `Exp' Expected type: Q Exp Actual type: DecsQ In the Template Haskell quotation [d| a = () |] In the expression: [d| a = () |] :: Q Exp In an equation for `x': x = [d| a = () |] :: Q Exp :1:1: Exception when trying to run compile-time code: :4:9: Couldn't match type `[Dec]' with `Exp' Expected type: Q Exp Actual type: DecsQ In the Template Haskell quotation [d| a = () |] In the expression: [d| a = () |] :: Q Exp In an equation for `x': x = [d| a = () |] :: Q Exp (deferred type error) Code: x In the expression: $x