$maybe r <- can (coreR AdminHomeR) "GET" _{Msg.Back}

_{Msg.MediaIndex} $maybe r <- can (mediaR MediaAdminNewR) "GET" _{Msg.AddMedia}

$if null files
_{Msg.NoMediaFound} $else
$forall (Entity fileId file) <- files
$with mroute <- can (mediaR $ MediaAdminEditR fileId) "GET" $maybe r <- mroute ^{indexItem file mroute} $nothing ^{indexItem file mroute}

_{Msg.MediaIndex} $maybe r <- can (mediaR MediaAdminNewR) "GET" _{Msg.AddMedia} $if null files _{Msg.NoMediaFound} $else