diff --git a/src/func.rs b/src/func.rs
index d47356d..840dac6 100644
--- a/src/func.rs
+++ b/src/func.rs
@@ -49,7 +49,7 @@ impl<'a, T: ?Sized + 'a + WeakFunctor> WeakFunctorA<'a> for T {
     type Fa<A: 'a> = T::F<'a, A>;
 }
 
-pub type Wrap<'a, A, T> = <T as WeakFunctor>::F<'a, A>;
+pub type Wrap<'a, A, T> = <T as WeakFunctorA<'a>>::Fa<A>;
 
 /// Rust-specific implementation of [`Functor`], respecting `move` semantics.
 ///