TypeSynonyms0.bpl(13,5): Error: type synonym could not be resolved because of cycles: Cyclic0 (replacing body with "bool" to continue resolving)
TypeSynonyms0.bpl(14,5): Error: type synonym could not be resolved because of cycles: Cyclic1 (replacing body with "bool" to continue resolving)
TypeSynonyms0.bpl(16,5): Error: type synonym could not be resolved because of cycles: AlsoCyclic (replacing body with "bool" to continue resolving)
TypeSynonyms0.bpl(26,10): Error: type constructor received wrong number of arguments: Field
TypeSynonyms0.bpl(27,10): Error: type synonym received wrong number of arguments: Set
TypeSynonyms0.bpl(30,10): Error: type variable must occur in map arguments: a
6 name resolution errors detected in TypeSynonyms0.bpl