blob: 6d7c0db99cb9254d28eecd162342c3e8d52783ed [file] [log] [blame]
typedef F<X> = X;
typedef F2<X> = F<F<X>>;
extension type E<X>(F2<X> it) {}
typedef F3<X> = F4<X>;
typedef F4<X> = F4<X>;
extension type E2<X>(F3<X> it) {}