1. Monadic case: shape ($)

Definition ($): Shape ($) returns the length of each axes of a noun (array).

Domain ($): universal

applies to literal, numeric, and boxed arrays

Rank ($): infinite (_)

applies to arrays of any number of axes