type parsing problem
PreferRefs for struct derivations (untested)