extractRel _ (Application (Qual_op_name b _ _) [] _) =
  [Baserel (showDoc b "")]
extractRel _ (Application (Qual_op_name b _ _) [] _) =
  [Baserel (showDoc b "")]
extractRel _ (Application (Qual_op_name b _ _) [] _) =
  [Baserel (showDoc b "")]