type Alpha = Beta type Beta = Alpha fn main() { }