pe :: XP.PU KeyInfo
xpKeyInfoType = [XP.biCase|(i, l) <-> KeyInfo i l|] 
  XP.>$< (XP.xpAttrImplied "Id" XS.xpID
    XP.>*< xpList1 XP.xpickle)

instance 
xpKeyInfoType :: XP.PU KeyInfo
xpKeyInfoType = [XP.biCase|(i, l) <-> KeyInfo i l|] 
  XP.>$< (XP.xpAttrImplied "Id" XS.xpID
    XP.>*< xpList1 XP.xpickle)
xpKeyInfoType = [XP.biCase|(i, l) <-> KeyInfo i l|] 
  XP.>$< (XP.xpAttrImplied "Id" XS.xpID
    XP.>*< xpList1 XP.xpickle)