Agda-2.3.2.2: test/fail/Negative4.agda

module Negative4 where

data Empty : Set where

data NSPos : Set where
   c : ((NSPos -> Empty) -> NSPos) -> NSPos