illegal recursion in supertypes:
   --> type Main.V (_te11c3e8e) in Main.m3
   --> type Main.W (_t860b5e83) in Main.m3
   --> type Main.W (_t6fda9e86) in Main.m3
   --> type Main.V (_t500e6cf4) in Main.m3
illegal recursion in supertypes:
   --> type Main.W (_t6fda9e86) in Main.m3
   --> type Main.V (_t500e6cf4) in Main.m3
   --> type Main.V (_te11c3e8e) in Main.m3
   --> type Main.W (_t860b5e83) in Main.m3

Fatal Error: incomplete program

