Agda-2.3.2.2: test/fail/Negative2.agda

module Negative2 where

data Tree (A : Set) : Set where
    leaf : Tree A
    node : (A -> Tree A) -> Tree A

data Bad : Set where
    bad : Tree Bad -> Bad