Type instantiation is excessively deep and possibly infinite. - Convex Community