basic casting between df and haljson works