Pattern matching must be compiled anyway, even if the rest is interpreted, same for the static typing.