There's a 'airport hotel' within the terminal, past the TK lounge. The rates are or rather were astronomical for the amenities, I believe it was 75 euros for 3 hours (something like that).

Strangely the currency option to pay was USD or Euro. Turkish Lira wasn't an option.