disco-0.1.0.0: test/types-tydef-bad/types-tydef-bad.disco

type X = Int -> Flerb(Int)