experimenting with unlifted classes via backpack - View it on GitHub