Make Lifted more monomorphic. Try to get things to compile.