Agda-2.3.2.2: test/fail/Negative3.agda

module Negative3 where

data Mu (F : Set -> Set) : Set where
    inn : F (Mu F) -> Mu F