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