# TODO: type solution here