idris-0.9.9.3: test/reg023/reg023.idr

module Foo

f : Type -> Type
f x = f x

bad : f Nat
bad = Z