{"body":"mkUser :: forall structure. Applicative structure => HKD User structure\nmkUser = deconstruct $ User Nothing Nothing Nothing\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/QWDmhB8k","modified":1612534208,"id":"QWDmhB8k","size":124,"lines":2,"own_paste":false,"theme":"","date":1612534208}