monadLaws

URI: https://gptkb.org/prop/monadLaws
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Reader_Monad right identity
gptkb:Reader_Monad left identity
gptkb:Reader_Monad associativity