Я в целом не уверен, в каком состоянии поддержка моно сейчас.
Mono — это же теперь чуть основного дотнета, плюс на тамошний AOT возлагаются определённые надежды. Ну и они же, кажется, у себя в дистрибутиве всё-таки починили F#?
Значит, придётся поддерживать.