#partial-function + #pattern-matching with partial function. Init.