# Pastebin vPYjai5o
dump splice
  mkWebComponent "my-component" ''User
======>
  instance Applicative f => Component2 f User where
    tag2 = "my-component"
  mkUser :: forall structure. Applicative structure => HKD User structure
  mkUser = deconstruct (((User Nothing) Nothing) Nothing)

Generation Code for function
FunD
  (mkName $ "mk" <> nameBase dataType)
  [Clause [] (NormalB $ AppE (VarE $ mkName "deconstruct") $ AppE (AppE (AppE (ConE dataType) nothingE) nothingE) nothingE) []]

Error :
• Type constructor ‘User’ used where a value identifier was expected
• In the first argument of ‘deconstruct’, namely
    ‘(((User Nothing) Nothing) Nothing)’
  In the expression: deconstruct (((User Nothing) Nothing) Nothing)
  In an equation for ‘mkUser’:
      mkUser = deconstruct (((User Nothing) Nothing) Nothing)