MiniAgda-0.2022.3.11: test/should-succeed/Umlaut.ma

data Ä {}