Types within J Flow