lifted types