make lift also work on type constructors