Given a recursive function on lists generate a type-level reification.