Type erasure on Unit