hasTypeConstructor

11 triples
GPTKB property

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]