disco-0.2: test/prop-impredicative/prop-impredicative.disco

type Tree(a) = Unit + a * Tree(a) * Tree(a)