[Agda] Not implemented: coinductive constructor in the scope of a let-bound variable

[Thorsten Altenkirch]

I think I am using the latest version.

This is a bit annoying and I don't understand why it isn't implemented. Sure there is an easy workaround by just lambda-abtsracting instead.

Cheers,
Thorsten