Random triples
Subject | Object |
---|---|
gptkb:System_F | → (function type) |
gptkb:State_monad | State s a |
gptkb:Writer_Monad | Writer w a |
gptkb:Reader_Monad | Reader e a |
gptkb:Either_monad | Either |
gptkb:System_F | ∀X. T |
gptkb:State_Monad | State s a |
gptkb:IO_Monad | IO |
gptkb:IO_monad | IO |
gptkb:Maybe_monad | Maybe |
gptkb:List_Monad | [a] |