3 ms·I take it Pin is a fixpoint-type that allows for recursive reference?by jackcviers3 2y agoI take it Pin is a fixpoint-type that allows for recursive reference?