diff --git a/include/continuable/continuable-base.hpp b/include/continuable/continuable-base.hpp
index 1e5c987..b1f469b 100644
--- a/include/continuable/continuable-base.hpp
+++ b/include/continuable/continuable-base.hpp
@@ -811,10 +811,14 @@ constexpr auto make_continuable(Continuation&& continuation) {
                 "use make_continuable<void>(...). Continuables with an exact "
                 "signature may be created through make_continuable<Args...>.");
 
-  // TODO
+  using hint_t = detail::traits::identity<Args...>;
+  using continuation_t =
+      detail::base::proxy_continuable<hint_t,
+                                      detail::traits::unrefcv_t<Continuation>>;
+
   return detail::base::attorney::create_from(
-      std::forward<Continuation>(continuation),
-      detail::hints::from_explicit(detail::traits::identity<Args...>{}),
+      continuation_t{std::forward<Continuation>(continuation)},
+      typename detail::hints::from_explicit<hint_t>::type{},
       detail::util::ownership{});
 }
 
diff --git a/include/continuable/detail/core/annotation.hpp b/include/continuable/detail/core/annotation.hpp
index 03cb20c..88e1924 100644
--- a/include/continuable/detail/core/annotation.hpp
+++ b/include/continuable/detail/core/annotation.hpp
@@ -56,16 +56,14 @@ namespace hints {
 /// from an argument pack as specified by make_continuable.
 ///
 /// This is the overload taking an arbitrary amount of args
+template <typename Hint>
+struct from_explicit;
 template <typename... HintArgs>
-constexpr auto from_explicit(traits::identity<HintArgs...> hint) {
-  return hint;
-}
-/// \copybrief from_explicit
-///
-/// This is the overload taking a void arg.
-constexpr auto from_explicit(traits::identity<void> /*hint*/) {
-  return traits::identity<>{};
-}
+struct from_explicit<traits::identity<HintArgs...>>
+    : std::common_type<traits::identity<HintArgs...>> {};
+template <>
+struct from_explicit<traits::identity<void>>
+    : std::common_type<traits::identity<>> {};
 } // namespace hints
 } // namespace detail
 } // namespace cti
diff --git a/include/continuable/detail/core/base.hpp b/include/continuable/detail/core/base.hpp
index ad73dea..535a14a 100644
--- a/include/continuable/detail/core/base.hpp
+++ b/include/continuable/detail/core/base.hpp
@@ -119,6 +119,33 @@ struct ready_continuation<> {
   }
 };
 
+template <typename Hint, typename Continuation>
+struct proxy_continuable;
+template <typename... Args, typename Continuation>
+struct proxy_continuable<traits::identity<Args...>, Continuation>
+    : Continuation {
+
+  explicit proxy_continuable(Continuation continuation)
+      : Continuation(std::move(continuation)) {
+  }
+  ~proxy_continuable() = default;
+  proxy_continuable(proxy_continuable&&) = default;
+  proxy_continuable(proxy_continuable const&) = delete;
+  proxy_continuable& operator=(proxy_continuable&&) = default;
+  proxy_continuable& operator=(proxy_continuable const&) = delete;
+
+  using Continuation::Continuation;
+  using Continuation::operator();
+
+  bool operator()(is_ready_arg_t) const noexcept {
+    return false;
+  }
+
+  std::tuple<Args...> operator()(get_arg_t) && {
+    util::unreachable();
+  }
+};
+
 struct attorney {
   /// Creates a continuable_base from the given continuation, annotation
   /// and ownership.