PatternSynonymMutualBlock.agda:7,3-16
Pattern synonyms are not allowed in mutual blocks