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

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