Does anyone happen to know where is there an article on the (non)existence of the Y combinator typed using recursive parameterized types?