You can search for identifiers within the package.
in-package search v0.2.0
Mixed-monad operations
type 'a x
type 'a f
type 'a ret
val bind : 'a x -> ('a -> 'b f) -> 'b ret