#{prettyPgp key}

#{userNote user}

• #{userEmail user} $forall (Entity _ site, Entity _ profile) <- userProfiles
• $maybe name <- profileDisplayName profile #{name} $nothing #{profileUsername profile}