WARNING: Enable "Unbound value" tolerant top level
Prepare separate catching of type errors