Type Alias PrincipalRecord 

pub type PrincipalRecord<A> = <<A as Area>::Principal as AreaPrincipal>::Record;

The aggregate an area’s principal signs in as.