{"body":"dump splice\n  mkWebComponent \"my-component\" ''User\n======>\n  instance Applicative f => Component2 f User where\n    tag2 = \"my-component\"\n  mkUser :: forall structure. Applicative structure => HKD User structure\n  mkUser = deconstruct (((User Nothing) Nothing) Nothing)\n\nGeneration Code for function\nFunD\n  (mkName $ \"mk\" <> nameBase dataType)\n  [Clause [] (NormalB $ AppE (VarE $ mkName \"deconstruct\") $ AppE (AppE (AppE (ConE dataType) nothingE) nothingE) nothingE) []]\n\nError :\n• Type constructor ‘User’ used where a value identifier was expected\n• In the first argument of ‘deconstruct’, namely\n    ‘(((User Nothing) Nothing) Nothing)’\n  In the expression: deconstruct (((User Nothing) Nothing) Nothing)\n  In an equation for ‘mkUser’:\n      mkUser = deconstruct (((User Nothing) Nothing) Nothing)","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/vPYjai5o","modified":1612533713,"id":"vPYjai5o","size":819,"lines":20,"own_paste":false,"theme":"","date":1612533713}