box :: FType -> Operand -> Codegen Operand
box FUnit _ = return $ ConstantOperand nullValue
box :: FType -> Operand -> Codegen Operand
box FUnit _ = return $ ConstantOperand nullValue
box FUnit _ = return $ ConstantOperand nullValue