Check that lazy patterns are for lifted types