[Agda] Is this a recursive record?

[Nils Anders Danielsson]

On 2018-01-23 18:37, Apostolis Xekoukoulotakis wrote:
> I get an error that the specified record is recursive.
> I don't understand why it is.

There seems to be a cycle AsFunF → AsFun → LFun → _⊂f_ → AsFunFT →
AsFunF.

-- 
/NAD