I take it Pin is a fixpoint-type that allows for recursive reference?