[boost] [hana]recursive data type?

How would one define a recursive data type in hana something described by the type equation: hana_list<T> = hana::nothing | std::pair where hana_list<T> is a list of T's terminated by nothing?