sub :: Reference (Construction branches item) (branches item) (branches item)
sub :: Supertype (Construction branches item `AT` branches item)

sub method gives you an access all items except a top one in Nonempty List and Tree datastructures.

  • For Nonempty List it’s Maybe (Nonempty List item)
  • For Tree it’s List (Tree item)

The opposite method is top.