diff --git a/src/core.rs b/src/core.rs
index b2472ad..d6625f3 100644
--- a/src/core.rs
+++ b/src/core.rs
@@ -80,7 +80,7 @@ pub trait Mentionable<'a, Ctx: 'a + Context>: 'a + Serializable {
     }
 }
 
-/// Short-hand for the type of vaalues returned by [`Factory::deserialize`].
+/// Shorthand for the type of vaalues returned by [`Factory::deserialize`].
 pub type ParseResult<'a, Ctx, F> =
     Result<<F as Factory<'a, Ctx>>::Mtbl, <F as Factory<'a, Ctx>>::ParseError>;
 
diff --git a/src/core/resolution.rs b/src/core/resolution.rs
index 87376be..8a34e4e 100644
--- a/src/core/resolution.rs
+++ b/src/core/resolution.rs
@@ -21,7 +21,7 @@ pub type ResolutionResult<'a, Ctx, A> = Result<Rc<A>, ResolutionFailure<'a, Ctx,
 /// Wrapped result returned by [`Origin`].
 pub type Resolution<'a, Ctx, A> = Wrapped<'a, Ctx, ResolutionResult<'a, Ctx, A>>;
 
-/// Short-hand for the type of values returned by [`Resolver::resolve`].
+/// Shorthand for the type of values returned by [`Resolver::resolve`].
 pub type HashResolution<'a, Ctx> = Wrapped<
     'a,
     Ctx,
diff --git a/src/std/atomic/atomic_object.rs b/src/std/atomic/atomic_object.rs
index 17c13be..9f1782a 100644
--- a/src/std/atomic/atomic_object.rs
+++ b/src/std/atomic/atomic_object.rs
@@ -87,9 +87,9 @@ impl<'a, Ctx: 'a + Context, A: Atomic> Factory<'a, Ctx> for AtomicFactory<A> {
 
 /// Extension trait to provide method-like utilities associated with [AtomicObject]s.
 pub trait ExtAtomicObject: Atomic {
-    /// Short-hand for getting specific [`AtomicFactory`].
+    /// Shorthand for getting specific [`AtomicFactory`].
     fn f() -> AtomicFactory<Self>;
-    /// Short-hand for getting specific [`AtomicObject`].
+    /// Shorthand for getting specific [`AtomicObject`].
     fn m(self) -> AtomicObject<Self>;
 }
 
diff --git a/src/std/fallible.rs b/src/std/fallible.rs
index c791b04..1482858 100644
--- a/src/std/fallible.rs
+++ b/src/std/fallible.rs
@@ -1,5 +1,9 @@
+//! Shorthands for using [`Context::Fallible`].
+
 use super::*;
 
+/// Preferred monad for fallible uses.
 pub type FallibleMonad<Ctx, E> = <<Ctx as Context>::Fallible as MonadFailAny>::W<E>;
 
+/// Preferred [Wrapped] [Result].
 pub type FallibleWrapped<'a, Ctx, A, E> = <FallibleMonad<Ctx, E> as WeakFunctor>::F<'a, A>;