Recursive generics using FLINT