Fix bug in monomorphize and export monomorphizeF