Evaluating fallback lazily
Returning algebraic from tuple unpacker
Moved Part to separate module