Finished kata 4, solved using core.typed