[(Data.Default.Instances.Containers.$fDefaultSet [InlPrag=INLINE (sat-args=0)]
    :: forall v. Data.Default.Class.Default (Data.Set.Base.Set v)
  [GblId[DFunId(nt)], Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.Set.Base.Tip! [];,
  [(Data.Default.Instances.Containers.$fDefaultSet, [])]),
 (Data.Default.Instances.Containers.$fDefaultMap [InlPrag=INLINE (sat-args=0)]
    :: forall k v. Data.Default.Class.Default (Data.Map.Base.Map k v)
  [GblId[DFunId(nt)], Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.Map.Base.Tip! [];,
  [(Data.Default.Instances.Containers.$fDefaultMap, [])]),
 (Data.Default.Instances.Containers.$fDefaultIntMap_$cdef
    :: forall v. Data.IntMap.Base.IntMap v
  [GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.IntMap.Base.Nil! [];,
  [(Data.Default.Instances.Containers.$fDefaultIntMap_$cdef, [])]),
 (Data.Default.Instances.Containers.$fDefaultIntMap [InlPrag=INLINE (sat-args=0)]
    :: forall v. Data.Default.Class.Default (Data.IntMap.Base.IntMap v)
  [GblId[DFunId(nt)], Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.IntMap.Base.Nil! [];,
  [(Data.Default.Instances.Containers.$fDefaultIntMap, [])]),
 (Data.Default.Instances.Containers.$fDefaultIntSet_$cdef
    :: Data.IntSet.Base.IntSet
  [GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.IntSet.Base.Nil! [];,
  [(Data.Default.Instances.Containers.$fDefaultIntSet_$cdef, [])]),
 (Data.Default.Instances.Containers.$fDefaultIntSet [InlPrag=INLINE (sat-args=0)]
    :: Data.Default.Class.Default Data.IntSet.Base.IntSet
  [GblId[DFunId(nt)], Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.IntSet.Base.Nil! [];,
  [(Data.Default.Instances.Containers.$fDefaultIntSet, [])]),
 (Data.Default.Instances.Containers.$fDefaultSeq_$cdef
    :: forall a. Data.Sequence.Seq a
  [GblId, Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.Sequence.Empty! [];,
  [(Data.Default.Instances.Containers.$fDefaultSeq_$cdef, [])]),
 (Data.Default.Instances.Containers.$fDefaultSeq [InlPrag=INLINE (sat-args=0)]
    :: forall a. Data.Default.Class.Default (Data.Sequence.Seq a)
  [GblId[DFunId(nt)], Caf=NoCafRefs, Str=DmdType, Unf=OtherCon []] =
      NO_CCS Data.Sequence.Empty! [];,
  [(Data.Default.Instances.Containers.$fDefaultSeq, [])]),
 (Data.Default.Instances.Containers.$fDefaultTree_$cdef
    :: forall a. Data.Default.Class.Default a => Data.Tree.Tree a
  [GblId, Arity=1, Caf=NoCafRefs, Str=DmdType Lm, Unf=OtherCon []] =
      \r [$dDefault] Data.Tree.Node [$dDefault GHC.Types.[]];,
  [(Data.Default.Instances.Containers.$fDefaultTree_$cdef, [])]),
 (Data.Default.Instances.Containers.$fDefaultTree [InlPrag=INLINE (sat-args=0)]
    :: forall a.
       Data.Default.Class.Default a =>
       Data.Default.Class.Default (Data.Tree.Tree a)
  [GblId[DFunId(nt)],
   Arity=1,
   Caf=NoCafRefs,
   Str=DmdType Lm,
   Unf=OtherCon []] =
      \r [eta_B1]
          Data.Default.Instances.Containers.$fDefaultTree_$cdef eta_B1;,
  [(Data.Default.Instances.Containers.$fDefaultTree, [])])]