-- | Default values for the 'Included' struct
default_Included :: Included
default_Included = Included{
  included_MyIntField = 0,
  included_MyTransitiveField = Transitive_Types.default_Foo{Transitive_Types.foo_a = 2}}
default_Included :: Included
default_Included = Included{
  included_MyIntField = 0,
  included_MyTransitiveField = Transitive_Types.default_Foo{Transitive_Types.foo_a = 2}}
default_Included = Included{
  included_MyIntField = 0,
  included_MyTransitiveField = Transitive_Types.default_Foo{Transitive_Types.foo_a = 2}}