Class at

example/tutorial/appendix_mpl.cpp:113–115

//////////////////////////////////////////////////////////////////////////////
template <typename Sequence, typename N>
struct at
    : decltype(hana::at(Sequence{}, N{}))
{ };

template <typename Sequence, long n>
using at_c = at<Sequence, long_<n>>;