posMul: _Int - > _Int - > _Int;
posMul a b = a + b; {
    -
    case b of {
        0 => 0;
        _ => a + posMul a(b - 1)
    }; -
}