Cross dependency 2: cyclic dependency

File1.fr

module cyclic.File1 where

data MyFile = native cyclic.File2 where
    pure native func :: MyFile -> Int
    pure native create new :: () -> MyFile

x = 5

main = print $ MyFile.func $ MyFile.create ()

File2.java

package cyclic;

import cyclic.File1;

public class File2 {
    public int func() {
        return 1;
    }

    public static void main(String[] args) {
        File1 f = new File1();
        System.out.println(f.x);
    }
}