CoinductivedenitionslookverymuchlikeinductivedenitionsCoInductivestreamTSetSetConsTstreamTstreamTConsistheconstructor Buttherulesforwhatisawellformedobjectofacoinductivetypearediffere ID: 98785