Why I get error "The type variable 'a occurs inside 'a t" with enabled -rectypes flag Understanding the The type variable a occurs inside a F t Error in O Caml This article explores the The type variable a occurs inside a F t error in O Caml whic 3 min read 31-08-2024 66