:addclause stuck idris2

[fonqL]

Environment

System: Ubuntu 2022 on Win10 WSL idris: Idris 2, version 0.6.0-fd217722b

Steps to Reproduce

test.idr

record Comp (f,g : Type -> Type) (a : Type) where
  constructor MkComp
  unComp  : f (g a)

Functor f => Functor g =>
Functor (Comp f g)

Foldable f => Foldable g =>
Foldable (Comp f g)

Traversable f => Traversable g =>
Traversable (Comp f g) where
  traverse fn (MkComp val) = map MkComp (traverse {t=f} (traverse{t=g} fn) val)

shell

$ idris2 test.idr
Main> :addclause 13 traverse

Expected Behavior

ok

Observed Behavior

No response from idris command line, and cpu usage reaches 100%

htop shows:

            |- /bin/sh /home/xxx/.pack/bin/idris2 -q test.idr
            |  └- /bin/sh /home/xxx/.pack/install/fd217722...519b63e4/idris2/bin/idris2 -q test.idr
(CPU 99.5%) |     └- /usr/bin/chezscheme --program /home/xxx/.pack/instal/fd217722...519b63e4/idris2/bin/idris2_app/idris2.so -q test.idr