Mutually recursive fixpoint data types