Arrays as function arguments are pointers.
Small optimization in executable to avoid computing stacks.
Type class for [maybe_] deconstructors.