We don't need DataKinds - we can just use tuples throughout