{"body":"\nnewtype Const a b = Const { getConst :: a }\ntype Getting r s a = (a -> Const r a) -> s -> Const r s \n\nfn :: (a -> b) -> Getting a x a -> Getting b x b\nfn = ???\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/dNOkarHC","modified":1612272668,"id":"dNOkarHC","size":161,"lines":6,"own_paste":false,"theme":"","date":1612272668}