# Pastebin QWDmhB8k
mkUser :: forall structure. Applicative structure => HKD User structure
mkUser = deconstruct $ User Nothing Nothing Nothing