You can require F to be strictly positive like so:

data Fix (F : @++ Set -> Set) where
    fix : F (Fix F) -> Fix F

More here: https://agda.readthedocs.io/en/latest/language/polarity.html