# type-adaptors