first bit of MooseX::Types::Structured